Francesco Abbate c3f5d2c144 Fix problems with project files and project directories ... Now treat coherently the case when the project directory is removed from the project directories.		2020-12-30 14:53:50 +01:00
..
colors	Implement user's config as init file and add directory into package.path	2020-12-02 16:03:31 +01:00
core	Fix problems with project files and project directories	2020-12-30 14:53:50 +01:00
fonts	Changed mapping of collapsed/expanded icons on icon font	2020-03-25 23:36:56 +00:00
plugins	Fix problems with project files and project directories	2020-12-30 14:53:50 +01:00
user	Use core.reload_module instead of style.load	2020-12-13 13:04:06 +01:00