Jonas Schievink 0616cee92b Add a setting for keyword hover popups		2022-08-16 16:51:40 +02:00
..
dev	Fix r-a spelling in some places	2022-08-01 13:47:09 +02:00
user	Add a setting for keyword hover popups	2022-08-16 16:51:40 +02:00