Francesco Abbate 3109263c5d 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 14:42:48 +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 14:42:48 +01:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Ensure TreeView cache entry is removed on delete	2021-12-20 11:03:49 +01:00