8 Commits (29c8fded622f85fbf396aa47fbfe834302c9e13c)

Author	SHA1	Message	Date
undefined	34cd4d62e9	ui: auto-resize editor by default	3 years ago
undefined	125ee4758c	ui: editor: do not consume mouse event	3 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