Guldoman 3950406750 Catch mouse clicks if contextmenu is open ...

Also disallow re-opening the `contextmenu` if it's already visible.

2022-04-27 17:55:46 +02:00

..

colors

Add textadept theme and correct language_lua just a bit

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

core

Catch mouse clicks if contextmenu is open

2022-04-27 17:55:46 +02:00

fonts

Use FiraSans regular for UI

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

plugins

TreeView Changes (#898)

2022-04-26 18:29:05 -04:00