Where can I download and install themes in the Toolbox?

43 wyświetlenia
Przejdź do pierwszej nieodczytanej wiadomości

Tamas Zsebe

nieprzeczytany,
9 sie 2019, 19:43:429.08.2019
do tlaplus
Hi, I just installed the toolbox and am starting to play around with it.

In the preferences, it looks like there are no Themes to select from. Are these downloaded separately, or do I need to create them from scratch? I'm not finding any downloadable ones online.

I normally wouldn't care that much, but I override my OS theme to be one of the dark ones everywhere. This looks great in the application in general, but the editor font colors are all designed for a white background. I see "Classic" and "Reduced Palette", but it'd be great if there were a "dark background" one I can find somewhere, so I don't have to manually change the colors for all keyword types in the preferences.

I'm on Ubuntu 18.04, if it matters.

Thanks! Looking forward to getting deeper into things!

loki der quaeler

nieprzeczytany,
10 sie 2019, 16:59:2310.08.2019
do tlaplus

Hello - 

Themes are not currently supported in the Toolbox; unfortunately the preference pane for Appearance exists as it is the parent of the Colors and Fonts preference pane, in which we do have two configurable font options.

-loki

Tamas Zsebe

nieprzeczytany,
4 wrz 2019, 08:02:124.09.2019
do tlaplus
Hi, thanks for getting back to me!

I suppose I can live without it, but is there at least a way to change the background color of just the text editor in tlaplus toolbox without messing with my entire window manager's theme? It's not really usable as-is, and I've just been editing the files in vim...

Screenshot from 2019-09-04 04-59-54.png

Leslie Lamport

nieprzeczytany,
4 wrz 2019, 12:48:024.09.2019
do tlaplus
File > Preferences > General > Editors > Text Editors
   Appearance color options:
     Background color

Tamas Zsebe

nieprzeczytany,
6 wrz 2019, 23:23:446.09.2019
do tla...@googlegroups.com
Aaah thank you! How did I not spot that.

--
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/XqWW68AusAg/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/295f0420-3035-4938-8388-856152ed4c5e%40googlegroups.com.
Odpowiedz wszystkim
Odpowiedz autorowi
Przekaż
Nowe wiadomości: 0