Felix Roos 08ebb52e9b
Merge pull request #804 from kasparsj/highlight-active-line-opt
add option to disable active line highlighting in Code Settings
2023-11-17 14:42:58 +01:00
..
2023-08-28 23:52:24 +02:00
2023-02-19 13:50:08 +01:00
2023-02-06 20:57:34 +01:00
2023-01-28 21:00:42 +01:00
2023-02-06 21:06:33 +01:00