diff options
| author | pommicket <pommicket@gmail.com> | 2023-01-03 12:40:24 -0500 |
|---|---|---|
| committer | pommicket <pommicket@gmail.com> | 2023-01-03 12:40:24 -0500 |
| commit | c37d493327ded5952f46cbf39aef920e47c1d7d9 (patch) | |
| tree | e9e4ac7eec0d500f0b4678bd97cf3d4edd9b18c8 /keywords.py | |
| parent | 1c74c64c6429ebc3720e519cfb155b0a914e1c24 (diff) | |
use different keys for hover+highlights to be less distracting
Diffstat (limited to 'keywords.py')
0 files changed, 0 insertions, 0 deletions