Use bigger icons
[vexed] / preferences.ui
2010-09-08 paul romanchenkoInitial commit