2 Commits

Author	SHA1	Message	Date
Margers	8d7a6cc778	Larger File Open dialog for larger console/terminal dimensions	2024-11-11 11:51:38 +00:00
florian	3ce7927096	* made the ide a package, so it can be build in parallel with the other packages, reasons: ... - lowers build times - ide is not that important anymore than years before - other utils like pastojs are also located in the packages tree git-svn-id: trunk@37926 -	2018-01-06 20:22:30 +00:00