bugfix copy/paste

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

prism/src/userinterface/log/GUILog.java

@@ -125,7 +125,7 @@ public class GUILog extends GUIPlugin implements MouseListener, PrismSettingsLis
 				theLog.print(le.getData());
 			}
 		}
-		else if (e instanceof GUIClipboardEvent)
+		else if (e instanceof GUIClipboardEvent && super.getGUI().getFocussedPlugin() == this)
 		{
 			GUIClipboardEvent ce = (GUIClipboardEvent)e;
 			if(ce.getID() == GUIClipboardEvent.COPY)

prism/src/userinterface/model/GUIMultiModel.java

@@ -744,7 +744,7 @@ public class GUIMultiModel extends GUIPlugin implements PrismSettingsListener
 				handler.requestParse(false);
 			}
 		}
-		else if(e instanceof GUIClipboardEvent)
+		else if(e instanceof GUIClipboardEvent  && super.getGUI().getFocussedPlugin() == this)
 		{
 			GUIClipboardEvent ce = (GUIClipboardEvent)e;
 			if(ce.getComponent() == this)

prism/src/userinterface/properties/GUIMultiProperties.java

@@ -1155,7 +1155,7 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List
 				setComputing(false);
 			}
 		}
-		else if(e instanceof GUIClipboardEvent)
+		else if(e instanceof GUIClipboardEvent  && super.getGUI().getFocussedPlugin() == this)
 		{
 			GUIClipboardEvent ce = (GUIClipboardEvent)e;