4 commits

Author	SHA1	Message	Date
Wu Cheng-Han	da46a3696b	Add preferences to editor status bar and make allow override browser keymap option	2016-12-04 00:56:14 +08:00
Wu Cheng-Han	65cff038a3	Update bootstrap to 3.3.7 and jQuery to 3.1.0 with related patches	2016-07-30 12:19:42 +08:00
Cheng-Han, Wu	09fb120967	Update to support toggle editor theme and spellcheck in status bar	2016-06-21 21:45:45 +08:00
Cheng-Han, Wu	5aad217d34	Support change keymap and indentation type with size in statusbar	2016-02-08 22:51:07 -06:00