Michael Weimann 3eb6a55b93 Tweak pill UI (#10417)		2023-03-22 13:27:24 +01:00
..
structures	Improve strictNullChecks support in right_panel (#10415)	2023-03-22 12:15:26 +00:00
views	Tweak pill UI (#10417)	2023-03-22 13:27:24 +01:00