OSDN Git Service

renamed WindowLauncher#setInfoTreePane to setInfoTreePaneVisibility
authorargius <argius.net@gmail.com>
Thu, 2 May 2013 14:52:37 +0000 (23:52 +0900)
committerargius <argius.net@gmail.com>
Thu, 2 May 2013 14:52:37 +0000 (23:52 +0900)
src/net/argius/stew/ui/window/WindowLauncher.java

index d4d31ed..523d0b8 100644 (file)
@@ -232,7 +232,7 @@ public final class WindowLauncher implements
             } else if (ev.isAnyOf(quit)) {
                 requestExit();
             } else if (ev.isAnyOf(showInfoTree)) {
-                setInfoTreePane(((JCheckBoxMenuItem)source).isSelected());
+                setInfoTreePaneVisibility(((JCheckBoxMenuItem)source).isSelected());
                 op.validate();
                 op.repaint();
             } else if (ev.isAnyOf(cut, copy, paste, selectAll)) {
@@ -373,7 +373,7 @@ public final class WindowLauncher implements
      * Controls visibility of DatabaseInfoTree pane.
      * @param show
      */
-    void setInfoTreePane(boolean show) {
+    void setInfoTreePaneVisibility(boolean show) {
         if (show) {
             split1.removeAll();
             split1.setTopComponent(new JScrollPane(infoTree));
@@ -409,7 +409,7 @@ public final class WindowLauncher implements
         op.setAlwaysOnTop(cnf.isAlwaysOnTop());
         resultSetTable.setAutoAdjustMode(cnf.getAutoAdjustMode());
         op.setPostProcessMode(cnf.getPostProcessMode());
-        setInfoTreePane(cnf.isShowInfoTree());
+        setInfoTreePaneVisibility(cnf.isShowInfoTree());
         changeFont("monospaced", Font.PLAIN, 1.0d);
     }