undefined
|
ae00cbc53b
|
ui: update nav logo renderer
|
2 years ago |
|
undefined
|
fcc4eedd9f
|
ui: add service worker to cache resources (#445)
|
2 years ago |
|
undefined
|
e427b9196c
|
ui: dark mode
Co-authored by: NetherDevil@outlook.com
|
3 years ago |
|
undefined
|
f4dbce5a76
|
ui: change default editor mode to sv
|
3 years ago |
|
undefined
|
237f608496
|
ui: load builtin fonts
|
3 years ago |
|
undefined
|
9b2c36efbf
|
ui: allow font customization
|
3 years ago |
|
undefined
|
e67ff511bb
|
core&ui: contest: acm: lock scoreboard
|
3 years ago |
|
undefined
|
e1661c6df0
|
ui: domain footer
|
3 years ago |
|
undefined
|
813890fc4b
|
ui: tos update
|
3 years ago |
|
undefined
|
ec8606cc49
|
ui: remove header
|
3 years ago |
|
undefined
|
377ef55d49
|
feats::
统一语言配置位置
支持langs继承
支持归类
|
3 years ago |
|
undefined
|
455f0dc274
|
editor: add set-theme command
|
3 years ago |
|
undefined
|
f29dc43fec
|
ui: preferredEditor: monaco
|
3 years ago |
Macesuted
|
19024c7161
|
update translation (#126)
|
3 years ago |
|
undefined
|
6924875ec9
|
ui: editor: change default mode to sv
|
3 years ago |
|
undefined
|
bee8537a91
|
ui: 支持设置编辑器模式偏好
|
4 years ago |
|
undefined
|
994634947e
|
ui: add option for autoFormat
|
4 years ago |
|
undefined
|
a89d8bfde8
|
ui: change highlight style
|
4 years ago |
|
undefined
|
b052e2aa78
|
ui: code formatting with wastyle
|
4 years ago |
|
masnn
|
b62b4e58a0
|
ui: prism: 支持显示空白符
|
4 years ago |
Rratic
|
8a9048445d
|
core: add julia language (#83)
Co-authored-by: undefined <i@undefined.moe>
|
4 years ago |
undefined
|
5faa54c7ca
|
ui-default: init
将ui-default合并至主存储库便于维护
|
4 years ago |