wangweimin
7b96833885
maint(frontend): use base16-light as codemirror default theme
|
5 anni fa | |
|---|---|---|
| .. | ||
| active-line.js | 5 anni fa | |
| base16-light.min.css | 5 anni fa | |
| loadmode.js | 5 anni fa | |
| matchbrackets.js | 5 anni fa | |
| python.js | 5 anni fa | |
|
wangweimin
7b96833885
maint(frontend): use base16-light as codemirror default theme
|
5 anni fa | |
|---|---|---|
| .. | ||
| active-line.js | 5 anni fa | |
| base16-light.min.css | 5 anni fa | |
| loadmode.js | 5 anni fa | |
| matchbrackets.js | 5 anni fa | |
| python.js | 5 anni fa | |