DrJavaAtRice
diff --git a/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform$1.class‎
39 Bytes b/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform$1.class‎
39 Bytes
diff --git a/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform$2$1.class‎
0 Bytes b/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform$2$1.class‎
0 Bytes
diff --git a/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform$2.class‎
0 Bytes b/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform$2.class‎
0 Bytes
diff --git a/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform.class‎
0 Bytes b/‎platform/classes/base-mac/edu/rice/cs/drjava/platform/MacPlatform.class‎
0 Bytes
diff --git a/‎platform/src-mac/edu/rice/cs/drjava/platform/MacPlatform.java‎
Lines changed: 1 addition & 0 deletions b/‎platform/src-mac/edu/rice/cs/drjava/platform/MacPlatform.java‎
Lines changed: 1 addition & 0 deletions
@@ -100,6 +100,7 @@ public void beforeUISetup() {
       public void handleOpenFile(ApplicationEvent event) {
         if (event.getFilename()!=null) {
           edu.rice.cs.drjava.DrJavaRoot.handleRemoteOpenFile(new java.io.File(event.getFilename()), -1);
+          event.setHandled(true);
         }
       }
     };
Original file line number	Diff line number	Diff line change
`@@ -100,6 +100,7 @@ public void beforeUISetup() {`
`100`	`100`	`public void handleOpenFile(ApplicationEvent event) {`
`101`	`101`	`if (event.getFilename()!=null) {`
`102`	`102`	`edu.rice.cs.drjava.DrJavaRoot.handleRemoteOpenFile(new java.io.File(event.getFilename()), -1);`
	`103`	`+ event.setHandled(true);`
`103`	`104`	`}`
`104`	`105`	`}`
`105`	`106`	`};`