diff --git a/prism/src/userinterface/log/GUILog.java b/prism/src/userinterface/log/GUILog.java
index 18b0ac27..8aa5bbbd 100644
--- a/prism/src/userinterface/log/GUILog.java
+++ b/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)
diff --git a/prism/src/userinterface/model/GUIMultiModel.java b/prism/src/userinterface/model/GUIMultiModel.java
index 4b446224..a27c537b 100644
--- a/prism/src/userinterface/model/GUIMultiModel.java
+++ b/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)
diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java
index 60438d01..c44d446c 100644
--- a/prism/src/userinterface/properties/GUIMultiProperties.java
+++ b/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;