File > Preferences > General > Editors > Text Editors
Appearance color options:
Background color
On Wednesday, September 4, 2019 at 5:02:12 AM UTC-7, Tamas Zsebe wrote:
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...
On Saturday, August 10, 2019 at 1:59:23 PM UTC-7, loki der quaeler wrote: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
On Friday, August 9, 2019 at 4:43:42 PM UTC-7, Tamas Zsebe wrote: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!