Status: Accepted
Owner:
[hidden email]
CC:
[hidden email]
Labels: Type-Bug Milestone-1.4
New issue 5338 by
[hidden email]: World menu icons are not updated
when a default tool changes
http://code.google.com/p/pharo/issues/detail?id=5338By example, by default Browser is defined as default Browser.
In world menu, the icon is the good one.
Then is you set Nautilus as default browser, the menu icon is still the
Browser's one.
Then, if you evaluate
WorldState defaultWorldMenu
The icons are "refreshed".
So maybe this should be performed each time a default tool is set
_______________________________________________
Pharo-bugtracker mailing list
[hidden email]
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-bugtracker