diff options
| author | Jonathan Lebon | 2023-01-24 23:23:09 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-24 23:23:09 +0000 |
| commit | 4726ae9df65821b0bdccb73e2355ede746433cd6 (patch) | |
| tree | 01d519e8f502b590cb9ae7ab46ef848eca4b32f2 /runtime/queries/tablegen | |
| parent | e83ce7224063afc52d44f9c2b68e3c5a03412f5c (diff) | |
Sonokai theme: style secondary selections differently (#5440)
Without styling the primary and secondary selections differently, it's
impossible to tell them apart when cycling through selections.
Make the primary selection slightly brighter and secondary selections
slightly paler.
Diffstat (limited to 'runtime/queries/tablegen')
0 files changed, 0 insertions, 0 deletions