From 16f070f69ce91bf18a64b403a0387ee7b9c720a6 Mon Sep 17 00:00:00 2001
From: Michael Bayne <mdb@threerings.net>
Date: Thu, 26 Oct 2006 23:11:56 +0000
Subject: [PATCH] Falling through is a dangerous pattern, let's not do it.

git-svn-id: svn+ssh://src.earth.threerings.net/vilya/trunk@116 c613c5cb-e716-0410-b11b-feb51c14d237
---
 build.xml                                                  | 4 +++-
 src/java/com/threerings/stage/tools/editor/PortalTool.java | 3 ++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index ab48f7eb..0290387d 100644
--- a/build.xml
+++ b/build.xml
@@ -169,7 +169,9 @@
       <exclude name="**/ModPlayer.java"/>
       <exclude name="**/MidiPlayer.java"/>
       <exclude name="**/Mp3Player.java"/>
-      <!--<compilerarg value="-Xlint:unchecked"/>-->
+      <compilerarg value="-Xlint"/>
+      <compilerarg value="-Xlint:-serial"/>
+      <compilerarg value="-Xlint:-unchecked"/> <!-- TODO: fix -->
     </javac>
   </target>
 
diff --git a/src/java/com/threerings/stage/tools/editor/PortalTool.java b/src/java/com/threerings/stage/tools/editor/PortalTool.java
index ce87e623..2bb8486c 100644
--- a/src/java/com/threerings/stage/tools/editor/PortalTool.java
+++ b/src/java/com/threerings/stage/tools/editor/PortalTool.java
@@ -68,9 +68,10 @@ public class PortalTool extends MouseInputAdapter
         switch (event.getButton()) {
         case MouseEvent.BUTTON1:
             savePortal();
-            // fall through to BUTTON3
+            break;
 
         case MouseEvent.BUTTON3:
+            savePortal();
             dispose();
             break;
         }