Adam 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