 Milmonandundefined
|
01cb6944b7
|
core&ui: support file renaming (#688)
Co-authored-by: undefined <i@undefined.moe>
|
2023-11-19 21:46:15 +08:00 |
|
undefined
|
1e3e797669
|
upgrade deps
|
2023-09-18 23:58:04 +08:00 |
|
undefined
|
3b80564b5c
|
update changelog
|
2023-03-15 22:55:10 +08:00 |
|
 undefinedandpanda
|
85cb1d6dff
|
ui: new judge config (#533)
Co-authored-by: panda <panda_dtdyy@outlook.com>
|
2023-03-15 21:15:04 +08:00 |
|
undefined
|
fe1d964eba
|
ui: replace stupid react-split-pane with allotment
|
2023-03-01 14:38:43 +08:00 |
|
undefined
|
65311529bd
|
workspace: add eslint-config package (#510)
|
2023-02-09 23:06:03 +08:00 |
|
panda
|
65e5296436
|
ui: fix bugs & add feature (#493)
|
2023-01-23 22:07:06 +08:00 |
|
undefined
|
5ae8258b8a
|
ui: optimize bundle
|
2022-08-24 00:28:25 +08:00 |
|
undefined
|
a05125c6b0
|
ui: upgrade to webpack5
|
2022-08-07 03:15:36 +08:00 |
|
 undefinedandpanda
|
310189bc4d
|
ui: UI&UX enhance, bug fixes
Co-authored-by: panda <panda_dtdyy@outlook.com>
|
2022-05-10 01:55:20 +08:00 |
|
Baoshuo Ren
|
334f99df17
|
ui: dark mode colors refactor (#334)
|
2022-04-02 11:08:42 +08:00 |
|
undefined
|
ddc320283b
|
ui: handle namespace pollution
|
2022-03-16 20:48:02 +08:00 |
|
undefined
|
c8b49e8ee2
|
ui: bug fixes
|
2022-03-16 20:39:38 +08:00 |
|
undefined
|
346f68f03b
|
ui: dark theme: fix page selector
|
2022-03-16 20:06:48 +08:00 |
|
undefined
|
e427b9196c
|
ui: dark mode
Co-authored by: NetherDevil@outlook.com
|
2022-03-16 19:17:35 +08:00 |
|
undefined
|
237f608496
|
ui: load builtin fonts
|
2022-02-22 02:35:53 +08:00 |
|
undefined
|
f43c1bc8c9
|
ui: optimize resource load
|
2021-12-19 20:51:39 +08:00 |
|
undefined
|
40b79101c8
|
ui: fix user_detail.rating
|
2021-05-19 12:15:48 +08:00 |
|
undefined
|
3e1d4635c4
|
ui: problem_files: pjax support
|
2021-05-15 19:02:42 +08:00 |
|
undefined
|
f29dc43fec
|
ui: preferredEditor: monaco
|
2021-05-04 14:01:45 +08:00 |
|
undefined
|
d7a6e30743
|
ui: use vditor as default markdown editor
|
2021-04-17 23:01:13 +08:00 |
|
undefined
|
680f8e58dd
|
upgrade deps
|
2021-04-08 22:15:55 +08:00 |
|
undefined
|
9524e56d01
|
ui: init windows 98 theme
|
2021-04-05 17:35:36 +08:00 |
|
undefined
|
5faa54c7ca
|
ui-default: init
将ui-default合并至主存储库便于维护
|
2021-04-03 01:44:22 +08:00 |
|