Yukai Huang
|
b86ecb1342
|
Extract selection update from updateStatusbar
|
2017-03-28 11:57:44 +08:00 |
|
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 |
|