latest GTPlayground ignoring DarkTheme colorisation

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

latest GTPlayground ignoring DarkTheme colorisation

EstebanLM
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
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: latest GTPlayground ignoring DarkTheme colorisation

Tudor Girba-2
Hi,


On Fri, Nov 14, 2014 at 11:31 AM, Esteban Lorenzano <[hidden email]> wrote:
Hi,

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?

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

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 some 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 is missing?
 
ppps: lots of uncategorised methods in GLMMorphicPharoPlaygroundRenderer and around

Ok.
 
pppps: got it, RubSHTextStylerST80 does not respect style, and uses always default style (that’s obviously not cool :p).

Thanks.

Cheers,
Doru


--

"Every thing has its own flow"

_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Reply | Threaded
Open this post in threaded view
|

Re: latest GTPlayground ignoring DarkTheme colorisation

Andrei Chis
In reply to this post by EstebanLM


On Fri, Nov 14, 2014 at 7:31 AM, Esteban Lorenzano <[hidden email]> wrote:
Hi,

So… someone is hardcoding the shout theme… something in Rubric, perhaps?
But well… playground became non-usable for me :(


I made an issues and proposed two possible solutions:



Cheers,
Andrei

 
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
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev