diff options
| author | Wu Cheng-Han | 2016-12-04 00:56:14 +0800 |
|---|---|---|
| committer | Wu Cheng-Han | 2016-12-04 00:56:14 +0800 |
| commit | da46a3696bfe4b7f7194888fbd9627514bbda3a4 (patch) | |
| tree | 4826f4a97bd5ba6f355b908cac3c410d55e1d6c8 /public/views/pretty.ejs | |
| parent | 778b6f32b3e46c003f47b4b380cfd64aaff91a93 (diff) | |
Add preferences to editor status bar and make allow override browser keymap option
Diffstat (limited to 'public/views/pretty.ejs')
0 files changed, 0 insertions, 0 deletions