josdejong 430a2ce5a4 Improved splitter: can now completely hide the panels. Added highlighting of the splitter.		2013-03-07 22:35:06 +01:00
..
ace	Improved splitter: can now completely hide the panels. Added highlighting of the splitter.	2013-03-07 22:35:06 +01:00
jsonlint	- Implemented load/save functionality.	2012-10-31 22:16:07 +01:00