2 Commits

Author	SHA1	Message	Date
juliandescottes	99c060f4a7	Cleanup local storage before integration tests	2018-09-19 23:24:52 +02:00
Julian Descottes	c2dbddcf9f	Issue #636 - rename all application-settings things to preferences-settings ... The name is not ideal, but it's better to have a MiscPreferencesController than a MainApplicationController for this kind of very simple panels.	2017-06-10 11:20:23 +02:00