Francesco Abbate f9a776852e Call dmon_unwatch when changing project ... Fix a conspicuous omission to call the dmon_unwatch function when changing project directory. This uncovered a bug or a quirk of the dmon library where the watch_ids can change as a result of calling dmon_unwatch because they are just indexes on a contiguous array. Use a workaround to always unwatch the first valid watch_id N times.		2021-12-20 22:03:37 +01:00
..
colors	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00
core	Call dmon_unwatch when changing project	2021-12-20 22:03:37 +01:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Added an exclusion for lineguide in the commandview.	2021-12-20 21:50:13 +01:00