- Perform the first workspace scan after the main window is visible

- Aborted scans now leave the workspace state empty to prevent incorrect operation
- Minor refactoring

FossilOrigin-Name: be20b59a51389fdf0527c039742581032b52e3a5

src/main.cpp

@@ -39,6 +39,7 @@ int main(int argc, char *argv[])
 						   0,
 						   workspace.isEmpty() ? 0 : &workspace);
 		mainwin.show();
+		mainwin.fullRefresh();
 		return app.exec();
 
 	}