Op 13-05-13 20:55, SoundsFromSound schreef:
Hmm...odd. I did a simple restart and everything is working correctly. The
icons are now appearing, and it seems that your suggestion about unchecking
the "system icons" preference was all that was needed.
indeed all settings take effect on 'Ok' except for the icons which only
change after a restart (the tooltip says that :-)
great that it works now, although it is strange the systems iconset
apparently doesn't work...
Wilbert
--
Wilbert Berendsen
http://www.wilbertberendsen.nl/
_______________________________________________
lilypond-user mailing list
lilypond-user@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-user
