Merge branch 'dev' into dev-docs

This commit is contained in:
2019-12-19 12:43:22 +01:00
10 changed files with 545 additions and 349 deletions

View File

@@ -68,7 +68,6 @@ private:
// set style of the GUI
void setIntelliStyle();
// Will check if changes have occurred since last save
bool maybeSave();
// Opens the Save dialog and saves