Jonas Jenwald 19182d5f25 [editor] Remove the editorNone toolbar button (bug 1787295)		2022-08-26 09:25:05 +02:00
..
chrome.properties	Display widget signature	2021-04-10 19:13:28 +02:00
viewer.properties	[editor] Remove the editorNone toolbar button (bug 1787295)	2022-08-26 09:25:05 +02:00