Guldoman 6bc4fbb238 Restore TitleView only when needed ...

Before, every time the user came back from fullscreen, the `TitleView` 
was shown regardless of its previous status.

2021-11-09 22:21:45 +01:00

..

colors

Add textadept theme and correct language_lua just a bit

2021-08-11 23:33:00 +02:00

core

Restore TitleView only when needed

2021-11-09 22:21:45 +01:00

fonts

Use FiraSans regular for UI

2021-05-27 13:49:33 +02:00

plugins

In TreeView set correct active View before opening new DocView

2021-11-07 23:12:03 +01:00