Commit Graph
7 Commits
Author SHA1 Message Date
undefined 125ee4758c ui: editor: do not consume mouse event 2021-05-07 12:52:21 +08:00
undefined 2794a866c2 ui: auto update editor height 2021-05-06 13:44:09 +08:00
undefined ecf04d3b7d ui: auto move cursor to end 2021-05-05 19:08:58 +08:00
undefined 6c0c2c5bf1 ui: editor auto-resize 2021-05-05 18:10:18 +08:00
undefined 0c5f941203 ui: problem_edit: fix multi-lang 2021-05-05 17:34:25 +08:00
undefined 455f0dc274 editor: add set-theme command 2021-05-05 12:42:27 +08:00
undefined f29dc43fec ui: preferredEditor: monaco 2021-05-04 14:01:45 +08:00