diff options
| author | Wu Cheng-Han | 2015-09-25 19:01:20 +0800 |
|---|---|---|
| committer | Wu Cheng-Han | 2015-09-25 19:01:20 +0800 |
| commit | 8de5404bb17e128207976ca95056d4fb3e96164b (patch) | |
| tree | 0f8fea65350441b84257f1ae2fa34af5b33e6701 /public/js/syncscroll.js | |
| parent | 98ca5cb3df28064a16b30f96e6b5392c458b473e (diff) | |
Added new editor theme: one-dark, updated monokai active line gutter style
Diffstat (limited to 'public/js/syncscroll.js')
0 files changed, 0 insertions, 0 deletions