A debian user reported that 'User interface' in the main settings manager dialog has inconsistent capitalization to the other icons. He suggests a change to 'User Interface'. See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=406892 . This bug exists in current svn too. Regards, Alexander Toresson
Created attachment 2058 fixes capitalization issue with "User interface"
i've attached a patch that fixes the capitalization problem.
Committed. Thanks for the patch! Please note that there might be no new release for the 4.4 branch.