undefined
|
133afd2296
|
ui: better layout for domain_group
|
3 years ago |
|
undefined
|
f020923d35
|
ui: monaco: lazy load resources
|
3 years ago |
|
undefined
|
5f527658f8
|
ui: remove emojify.js
|
3 years ago |
|
undefined
|
fae452cc94
|
ui: quick emoji input support
|
3 years ago |
|
undefined
|
16fcd80a00
|
ui: support ctrl+enter
|
3 years ago |
|
undefined
|
cca54dc92a
|
ui: add markup
|
3 years ago |
|
undefined
|
8126680af1
|
ui: 优化滚动条显示
|
3 years ago |
|
undefined
|
d0569a6816
|
ui: problem_files: yaml editor with schema
|
3 years ago |
|
undefined
|
30cad9b80e
|
ui: allow direct edit file
|
3 years ago |
|
undefined
|
5c745fff82
|
ui: allow using html in markdown
|
3 years ago |
|
undefined
|
9632b425d5
|
ui: use monaco for yaml fields
|
3 years ago |
|
undefined
|
03cddc00b2
|
ui: 优化系统设置页面
|
4 years ago |
|
undefined
|
34cd4d62e9
|
ui: auto-resize editor by default
|
4 years ago |
|
undefined
|
125ee4758c
|
ui: editor: do not consume mouse event
|
4 years ago |
|
undefined
|
2794a866c2
|
ui: auto update editor height
|
4 years ago |
|
undefined
|
ecf04d3b7d
|
ui: auto move cursor to end
|
4 years ago |
|
undefined
|
6c0c2c5bf1
|
ui: editor auto-resize
|
4 years ago |
|
undefined
|
0c5f941203
|
ui: problem_edit: fix multi-lang
|
4 years ago |
|
undefined
|
455f0dc274
|
editor: add set-theme command
|
4 years ago |
|
undefined
|
f29dc43fec
|
ui: preferredEditor: monaco
|
4 years ago |