From: Jim Procter Date: Wed, 18 Oct 2017 16:14:07 +0000 (+0100) Subject: JAL-2779 JAL-1551 source formatting X-Git-Tag: Release_2_10_3b1~76^2~6 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=c5cce447dc326bdd6d0d2dc3061ad1f27a1ae425;p=jalview.git JAL-2779 JAL-1551 source formatting --- diff --git a/src/jalview/gui/AquaInternalFrameManager.java b/src/jalview/gui/AquaInternalFrameManager.java index aeb1e5f..92830dc 100644 --- a/src/jalview/gui/AquaInternalFrameManager.java +++ b/src/jalview/gui/AquaInternalFrameManager.java @@ -123,7 +123,7 @@ public class AquaInternalFrameManager extends DefaultDesktopManager final JInternalFrame.JDesktopIcon desktopIcon) { c.add(desktopIcon); - } + } /** * Removes the frame from its parent and adds its desktopIcon to the parent. @@ -143,9 +143,9 @@ public class AquaInternalFrameManager extends DefaultDesktopManager c = f.getParent(); if (c == null) - { - return; - } + { + return; + } c.remove(f); addIcon(c, desktopIcon); @@ -159,9 +159,9 @@ public class AquaInternalFrameManager extends DefaultDesktopManager try { if (f != null) - { - super.activateFrame(f); - } + { + super.activateFrame(f); + } // If this is the first activation, add to child list. if (fChildFrames.indexOf(f) == -1) @@ -198,7 +198,7 @@ public class AquaInternalFrameManager extends DefaultDesktopManager activateFrame(fInitialFrame); } return; - } + } final int count = fChildFrames.size(); if (count <= 1) @@ -235,7 +235,7 @@ public class AquaInternalFrameManager extends DefaultDesktopManager final JInternalFrame f = fChildFrames.elementAt(nextIndex); activateFrame(f); fCurrentFrame = f; - } + } /** * Activate the next child JInternalFrame, as determined by the frames' @@ -245,7 +245,7 @@ public class AquaInternalFrameManager extends DefaultDesktopManager public void activateNextFrame() { switchFrame(true); - } + } /** * same as above but will activate a frame if none have been selected @@ -254,7 +254,7 @@ public class AquaInternalFrameManager extends DefaultDesktopManager { fInitialFrame = f; switchFrame(true); - } + } /** * Activate the previous child JInternalFrame, as determined by the frames' @@ -264,5 +264,5 @@ public class AquaInternalFrameManager extends DefaultDesktopManager public void activatePreviousFrame() { switchFrame(false); - } + } } \ No newline at end of file