Pablo Vazquez 4bbbfdb26a UI: Default Theme: editor tabs more prominent ...

Workaround for now until all editors tabs share the dedicated Tab theme
settings under User Interface (which the top bar is currently using).

Thanks SimonStorl-Schulke from devtalk forum for feedback.

2018-07-04 16:33:50 +02:00

..

userdef_default_theme.c

UI: Default Theme: editor tabs more prominent

2018-07-04 16:33:50 +02:00