Small GUI fixes: resets of warning counters.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5418 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/userinterface/model/GUIMultiModel.java

@@ -299,6 +299,7 @@ public class GUIMultiModel extends GUIPlugin implements PrismSettingsListener
 					error("No file selected");
 					return;
 				}
+				getPrism().getMainLog().resetNumberOfWarnings();
 				handler.loadModel(file);
 			}
 		}
@@ -307,8 +308,10 @@ public class GUIMultiModel extends GUIPlugin implements PrismSettingsListener
 	protected void a_reloadModel()
 	{
 		int cont = doModificationCheck();
-		if (cont == CONTINUE)
+		if (cont == CONTINUE) {
+			getPrism().getMainLog().resetNumberOfWarnings();
 			handler.reloadActiveFile();
+		}
 	}
 
 	protected int a_saveModel()
@@ -316,6 +319,7 @@ public class GUIMultiModel extends GUIPlugin implements PrismSettingsListener
 		if (!handler.hasActiveFile()) {
 			return a_saveModelAs();
 		} else {
+			getPrism().getMainLog().resetNumberOfWarnings();
 			return handler.saveToActiveFile();
 		}
 	}

prism/src/userinterface/simulator/GUISimulator.java

@@ -739,6 +739,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 			Graph graphModel = new Graph();
 			guiProp.getGraphHandler().addGraph(graphModel);
 			int maxPathLength = getPrism().getSettings().getInteger(PrismSettings.SIMULATOR_DEFAULT_MAX_PATH);
+			getPrism().getMainLog().resetNumberOfWarnings();
 			parser.State initialStateObject = initialState == null ? null : new parser.State(initialState, parsedModel);
 			new SimPathPlotThread(this, engine, parsedModel, initialStateObject, simPathDetails, maxPathLength, graphModel).start();
 			setComputing(false);