undefined
|
ec8606cc49
|
ui: remove header
|
3 years ago |
|
undefined
|
377ef55d49
|
feats::
统一语言配置位置
支持langs继承
支持归类
|
3 years ago |
|
undefined
|
455f0dc274
|
editor: add set-theme command
|
4 years ago |
|
undefined
|
f29dc43fec
|
ui: preferredEditor: monaco
|
4 years ago |
Macesuted
|
19024c7161
|
update translation (#126)
|
4 years ago |
|
undefined
|
6924875ec9
|
ui: editor: change default mode to sv
|
4 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 |