| .. |
|
generated
|
935aed7ca4
[feature] dark theme for code highlighter in the result list
|
1 year ago |
|
js
|
a987672340
[mod] improve handling of the hotkeys
|
1 year ago |
|
less
|
0984b00b7e
[mod] UI smooth scroll added / CSS scroll-behavior
|
1 year ago |
|
svg
|
e3e5d2bd22
Theme: all top right icons have labels including "Preferences"
|
2 years ago |
Jinyuan Huang