[Moose-dev] latest GTPlayground ignoring DarkTheme colorisation

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).