27 Commits

Include renames

Author	SHA1	Message	Date
undefined	f305110381	ui: better config page layout	2025-03-25 18:27:43 +08:00
undefined	57f6e9e243	ui: drop monacoTheme setting	2024-08-31 21:13:07 +08:00
undefined	909c927986	ui: drop vditor	2024-06-30 00:24:41 +08:00
undefined	831b8352fe	ui: allow disabling domain quick switch	2023-05-06 21:17:56 +08:00
undefined	ba7f4b396f	core: add default import operator	2023-04-12 18:46:39 +08:00
undefined	ae00cbc53b	ui: update nav logo renderer	2022-10-27 14:25:42 +08:00
undefined	fcc4eedd9f	ui: add service worker to cache resources (#445)	2022-10-20 01:34:30 +08:00
undefined	e427b9196c	ui: dark mode ... Co-authored by: NetherDevil@outlook.com	2022-03-16 19:17:35 +08:00
undefined	f4dbce5a76	ui: change default editor mode to sv	2022-02-25 22:36:45 +08:00
undefined	237f608496	ui: load builtin fonts	2022-02-22 02:35:53 +08:00
undefined	9b2c36efbf	ui: allow font customization	2022-02-22 00:24:50 +08:00
undefined	e67ff511bb	core&ui: contest: acm: lock scoreboard	2022-02-02 00:53:06 +08:00
undefined	e1661c6df0	ui: domain footer	2021-11-02 15:50:31 +08:00
undefined	813890fc4b	ui: tos update	2021-11-02 14:50:48 +08:00
undefined	ec8606cc49	ui: remove header	2021-05-26 00:11:26 +08:00
undefined	377ef55d49	feats:: ... 统一语言配置位置 支持langs继承 支持归类	2021-05-07 20:00:04 +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
Macesuted	19024c7161	update translation (#126)	2021-05-04 12:54:58 +08:00
undefined	6924875ec9	ui: editor: change default mode to sv	2021-04-26 23:26:56 +08:00
undefined	bee8537a91	ui: 支持设置编辑器模式偏好	2021-04-18 20:58:29 +08:00
undefined	994634947e	ui: add option for autoFormat	2021-04-17 17:29:00 +08:00
undefined	a89d8bfde8	ui: change highlight style	2021-04-15 23:51:46 +08:00
undefined	b052e2aa78	ui: code formatting with wastyle	2021-04-15 13:49:33 +08:00
masnn	b62b4e58a0	ui: prism: 支持显示空白符	2021-04-14 17:56:32 +00:00
Rraticandundefined	8a9048445d	core: add julia language (#83) ... Co-authored-by: undefined <i@undefined.moe>	2021-04-04 02:00:31 +08:00
undefined	5faa54c7ca	ui-default: init ... 将ui-default合并至主存储库便于维护	2021-04-03 01:44:22 +08:00