Scripts like this are indeed useful ... there should however not be a need for such scripts if the "Preferences" were easier to manage. From a usability point of view its not just the fonts that need attention though, the whole preference browser is currently a bit of a user experience disaster. -- View this message in context: http://n2.nabble.com/Fonts-working-great-tp2466458p2637029.html Sent from the Pharo Smalltalk mailing list archive at Nabble.com.
_______________________________________________ Pharo-project mailing list [email protected] http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project
