Hi,
So… someone is hardcoding the shout theme… something in Rubric, perhaps?
But well… playground became non-usable for me :(
cheers,
Esteban
ps: the timestamp as title is also ugly. I propose to just remove that title. Is useless anyway (toolbar icons can be replaced by a menu/toolbar for window, no need of a pane with an unique tab there).
pps: the menu options are arbitrary in his relevancy and I still miss some of the options (already reported)
ppps: lots of uncategorised methods in GLMMorphicPharoPlaygroundRenderer and around
pppps: got it, RubSHTextStylerST80 does not respect style, and uses always default style (that’s obviously not cool :p).
_______________________________________________
Moose-dev mailing list
Moose-dev@iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev