Francesco Abbate ddd56ec615 Add command to remove a directory from the project ... In addition directories can be removed with a mouse middle-click in the tree view pane.		2020-12-28 15:51:16 +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	Add command to remove a directory from the project	2020-12-28 15:51:16 +01:00
fonts	Changed mapping of collapsed/expanded icons on icon font	2020-03-25 23:36:56 +00:00
plugins	Add command to remove a directory from the project	2020-12-28 15:51:16 +01:00
user	Use core.reload_module instead of style.load	2020-12-13 13:04:06 +01:00