diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-17 11:45:03 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-17 11:45:03 +0200 |
| commit | 8ae11f070aafea81bc91bdaf6918f396777f88df (patch) | |
| tree | d4356153098ccffd3097259a0dda53a4a406fb60 /js/codemirror/panel.js | |
| parent | 0eec2bd8f8fd8669682cf618bf22983a36f828a9 (diff) | |
Console fix: a line can now have multiple CSS classes, so text can e.g. now be in multiple colors.
Diffstat (limited to 'js/codemirror/panel.js')
0 files changed, 0 insertions, 0 deletions