18 May 2019

Minimenu fix

The minimenu plugin is now user based, as it is supposed to be. User preferences about minimenu are now saved separately in each monofiles/style/'userID' folder, instead of the plugins folder.