Updates:
Status: Accepted
Labels: Milestone-2.0 Importance-High
Comment #2 on issue 7047 by
[hidden email]: Source pane font
permanently changes after switching to Group view and selecting one
http://code.google.com/p/pharo/issues/detail?id=7047Yes, this is a known bug. I will merge the old report into this one
_______________________________________________
Pharo-bugtracker mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-bugtracker