Guldoman 5c5c77219b Fix `dirmonitor` sorting issues (#1599) ... * Use `PATHSEP` in path-related functions * Don't stop on digits when getting the common part in `system.path_compare` * Avoid sorting multiple times in `dirwatch.get_directory_files` This also fixes the timeout detection in `recurse_pred`.		2023-11-30 09:20:34 +08:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	Fix `dirmonitor` sorting issues (#1599)	2023-11-30 09:20:34 +08:00
fonts	draw lite-xl icon in TitleView (#1143)	2022-10-10 11:05:30 -04:00
plugins	Fix `dirmonitor` sorting issues (#1599)	2023-11-30 09:20:34 +08:00