Guldoman 79dd8779c4 autocomplete: Fix "Too many symbols" message when Doc has no name ...

Before, when a `Doc` had no name, an error was thrown.

2022-06-29 05:54:37 +02:00

..

colors

style: move default colors to its own style file

2022-06-02 19:20:54 -04:00

core

Fix full line cut when only a single line remains

2022-06-24 05:49:20 +02:00

fonts

Use FiraSans regular for UI

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

plugins

autocomplete: Fix "Too many symbols" message when Doc has no name

2022-06-29 05:54:37 +02:00