e960d820f3
update default theme
2024-03-31 18:21:40 +08:00
8eee3de831
- Change: Change background color for highlighted buttons in the default theme.
...
- enhancement: Make matched contents more obvious in the code suggestion popup.
- enhancement: Make matched contents more obvious in the header suggestion popup.
2024-03-31 17:23:16 +08:00
a071057842
- Change: Change background color for highlighted buttons in the default theme.
2024-03-31 15:36:26 +08:00
96fabfc92c
- Change: Background color for highlighted buttons in the default theme.
2024-03-31 11:20:01 +08:00
71b869b186
fix: scroller not correctly updated with font size
...
change: reduce pen size of wave underline
2024-03-28 20:23:50 +08:00
Roy Qu