Guldomanandtakase1121 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