undefined
|
96fa6cc7b9
|
ui: frontend api (#470) [skip-cache]
|
2022-12-12 00:53:44 +08:00 |
|
undefined
|
a05125c6b0
|
ui: upgrade to webpack5
|
2022-08-07 03:15:36 +08:00 |
|
undefined
|
de04a852ed
|
ui: language select component
|
2022-07-23 17:36:09 +08:00 |
|
undefined
|
0c277f2224
|
ui: fix availableLangs
|
2022-04-30 03:10:54 +08:00 |
|
undefined
|
237f608496
|
ui: load builtin fonts
|
2022-02-22 02:35:53 +08:00 |
|
undefined
|
49a60eeaa1
|
ui: enhance font selection
|
2022-02-22 00:43:17 +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
|
a93ff2a3d8
|
ui: remove useless wastyle
|
2022-01-09 05:41:38 +08:00 |
|
undefined
|
4356f17ef8
|
lint: fix
|
2021-08-11 21:47:22 +08:00 |
|
undefined
|
b4d38089c3
|
ui: try to fix preference
|
2021-07-19 20:40:52 +08:00 |
|
undefined
|
511843e6c7
|
ui: 可能修复了codeLang选择问题
|
2021-06-16 12:19:42 +08:00 |
|
undefined
|
c09b4acfd5
|
ui: 修复部分情况下提交语言显示异常的问题
|
2021-05-27 00:08:03 +08:00 |
|
undefined
|
015c55f144
|
ui: fix highlighter
|
2021-05-13 12:46:10 +08:00 |
|
undefined
|
5fad63a3e1
|
ui: fix codeLang-sub-select
|
2021-05-12 00:07:07 +08:00 |
|
undefined
|
0af07a5d16
|
ui: fix cond
|
2021-05-07 22:25:18 +08:00 |
|
undefined
|
80ac44d98e
|
ui: enhance language selection
|
2021-05-07 22:22:24 +08:00 |
|
undefined
|
fee74bc414
|
ui: add i18n support for user_preference
|
2021-05-04 12:45:45 +08:00 |
|