undefined
|
258a677e4f
|
ui: update resource loader
|
2 years ago |
undefined
|
d20bf5b1e7
|
ui: fix resource cache in dev mode
|
2 years ago |
undefined
|
cca5cb895e
|
ui: allow manually set legacy mode
|
2 years ago |
undefined
|
4f66c127da
|
ui: fix contest navigation bar
|
2 years ago |
undefined
|
af0649f471
|
core: optimize scoreboard
|
2 years ago |
undefined
|
d21ae767dd
|
ui: fix handler.context
|
2 years ago |
undefined
|
52933de354
|
ui: fix style load
|
2 years ago |
undefined
|
3f337e41c3
|
core: handle reverse_proxy chains
|
2 years ago |
undefined
|
c58c0d8465
|
ui: enhance english display
|
2 years ago |
undefined
|
a05125c6b0
|
ui: upgrade to webpack5
|
2 years ago |
undefined
|
60fc805c84
|
ui: deprecate static_url
|
2 years ago |
undefined
|
d8319cb9b0
|
ui: add packtracker
|
2 years ago |
undefined
|
87a72f35c1
|
ui: add matchMedia().addEventListener polyfill
|
2 years ago |
undefined
|
e427b9196c
|
ui: dark mode
Co-authored by: NetherDevil@outlook.com
|
3 years ago |
undefined
|
545190d5fe
|
ui: fix polyfill link generation
|
3 years ago |
undefined
|
c6485c536e
|
ui: polyfill queueMicrotask
|
3 years ago |
undefined
|
9b8833453c
|
ui: fix theme load
|
3 years ago |
undefined
|
9b2c36efbf
|
ui: allow font customization
|
3 years ago |
undefined
|
f01a8d378e
|
ui: bug fix
|
3 years ago |
undefined
|
775301c001
|
bug fix
|
3 years ago |
undefined
|
a718a83cd6
|
core: version list
|
3 years ago |
undefined
|
221cdf8d7d
|
ui: enhance resource load
|
3 years ago |
undefined
|
9a1d39a693
|
ui: add version info in filename
|
3 years ago |
undefined
|
d66c161e66
|
ui: ensure resource version
|
3 years ago |
undefined
|
c8a0d48a41
|
ui: 优化资源加载
|
3 years ago |
undefined
|
0676cc0a27
|
core: better blacklist
|
3 years ago |
undefined
|
d9f13feade
|
bug fix
|
3 years ago |
undefined
|
588fd0e1fb
|
ui: allow using ui.name
|
3 years ago |
undefined
|
39b90b3ff5
|
ui: fix context dump
|
3 years ago |
undefined
|
e2e0a7c5c7
|
ui: move context to top
|
3 years ago |
undefined
|
e86cd07c37
|
ui: use jsesc to pass args
|
3 years ago |
undefined
|
fa5b2e8fee
|
uiL rich media (problem)
|
3 years ago |
undefined
|
167c70c2b1
|
ui: 优化资源加载
|
3 years ago |
undefined
|
f33d440b68
|
ui: 上传进度条
|
3 years ago |
undefined
|
4052fa691e
|
ui: 修复 og:url 泄漏源站ip的问题
|
3 years ago |
undefined
|
680f8e58dd
|
upgrade deps
|
4 years ago |
undefined
|
05968798fe
|
ui: 修复problem_create页面添加标签无效的问题
|
4 years ago |
undefined
|
5faa54c7ca
|
ui-default: init
将ui-default合并至主存储库便于维护
|
4 years ago |