josdejong 430a2ce5a4 Improved splitter: can now completely hide the panels. Added highlighting of the splitter.		2013-03-07 22:35:06 +01:00
..
ace.js	Replaced the plain text editor with ace (providing syntax highlighting and code inspection)	2013-03-04 22:14:19 +01:00
mode-json.js	Replaced the plain text editor with ace (providing syntax highlighting and code inspection)	2013-03-04 22:14:19 +01:00
theme-jso.js	Improved splitter: can now completely hide the panels. Added highlighting of the splitter.	2013-03-07 22:35:06 +01:00
theme-textmate.js	Replaced the plain text editor with ace (providing syntax highlighting and code inspection)	2013-03-04 22:14:19 +01:00
worker-json.js	Replaced the plain text editor with ace (providing syntax highlighting and code inspection)	2013-03-04 22:14:19 +01:00