AdamandGitHub 2ea62eee8f Merge pull request #391 from adamharrison/fix-replace-tooltip ...

Added in additional function to remove tooltip after cancelling replace.

2021-08-14 09:12:20 -04:00

..

colors

Add textadept theme and correct language_lua just a bit

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

core

Merge pull request #391 from adamharrison/fix-replace-tooltip

2021-08-14 09:12:20 -04:00

fonts

Use FiraSans regular for UI

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

plugins

Revert language_lua

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