7 commits

Author	SHA1	Message	Date
nightwing	0054bb8794	cleanup	2015-01-04 23:48:28 +04:00
Matthias S. Benkmann	eccc98b83b	net.put => net.request('PUT'; improved usability for "Save" buttons	2014-12-23 16:33:56 +01:00
Matthias S. Benkmann	8919b113d1	add server upload buttons and Ctrl-S bindings to mode_editor ... in combination with PUT support in ./static.py (or whatever other web server) this allows people to save both the highlighting rules and the demo documents right from the mode editor for a better workflow.	2014-12-23 13:03:09 +01:00
nightwing	0c318fa8c0	tweak mode_creator	2013-02-16 23:09:20 +04:00
Garen Torikian	629e543ef4	Reshuffle dirs	2013-01-14 21:48:59 +04:00
Garen Torikian	95bd44f342	Rebuild API docs	2012-11-28 22:23:32 +04:00
nightwing	854f21595b	add simple page for live editing highlighters	2012-09-30 02:59:57 +04:00