Matthias Clasen 19fa7d513d theme: Fix editable label selection ... When the editable label is in editing mode, selections should appear the same as in other entries.		2022-05-05 12:44:40 -04:00
..
Default	theme: Fix editable label selection	2022-05-05 12:44:40 -04:00
Empty	Add an Empty theme for tests	2020-01-17 23:47:34 -05:00