On Fri, Nov 14, 2014 at 11:31 AM, Esteban Lorenzano <estebanlm(a)gmail.com>
So… someone is hardcoding the shout theme… something in Rubric, perhaps?
But well… playground became non-usable for me :(
Could you please open an issue for this one?
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).
We need the pane because otherwise when you spawn the inspector, you might
think that the actions are global for the whole window, while they only
apply for the first pane.
The timestamp is not the nicest thing, but it is useful when you consider
the link to the file system cache.and when you consider the possibility of
having multiple playground tabs in the same window.
pps: the menu options are arbitrary in his relevancy and I still miss
of the options (already reported)
I do not know what you mean by arbitrary. I think you would have to list
the missing things again. We thought we took everything into account. What
ppps: lots of uncategorised methods in
pppps: got it, RubSHTextStylerST80 does not respect style, and uses
default style (that’s obviously not cool :p).
"Every thing has its own flow"