Guldoman d390eb248e Fix tooltip not getting removed after find-replace:replace

2022-06-01 18:19:33 +02:00

..

colors

Add textadept theme and correct language_lua just a bit

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

core

Fix tooltip not getting removed after find-replace:replace

2022-06-01 18:19:33 +02:00

fonts

Use FiraSans regular for UI

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

plugins

Merge pull request #1004 from Guldoman/PR_commandview_options

2022-05-31 16:38:36 -04:00