Matthias Clasen 069ce48ac5 theme: Show focus in shortcuts windows ... The individual items are now focusable, so we need to show a focus ring, otherwise this is just confusing.		2023-05-11 15:58:15 -04:00
..
Default	theme: Show focus in shortcuts windows	2023-05-11 15:58:15 -04:00
Empty	Add an Empty theme for tests	2020-01-17 23:47:34 -05:00