Changeset 662

Timestamp:

02/04/10 22:36:23 (3 years ago)

Author:

joerg

Message:

 

Files:

• trunk/src/jlatexeditor/JLatexEditorJFrame.java (modified) (2 diffs)

trunk/src/jlatexeditor/JLatexEditorJFrame.java

@@ -34 +34 @@
 import javax.swing.event.ChangeListener;
 import javax.swing.filechooser.FileNameExtensionFilter;
+import javax.swing.plaf.basic.BasicSplitPaneUI;
+import javax.swing.plaf.metal.MetalSplitPaneUI;
 import java.awt.*;
 import java.awt.event.*;
@@ -225 +227 @@
 
     // symbols panel
-    SymbolsPanel symbolsPanel = new SymbolsPanel();
+    final SymbolsPanel symbolsPanel = new SymbolsPanel();
+    symbolsPanel.setVisible(false);
     JSplitPane symbolsTextSplit = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, true, symbolsPanel, tabbedPane);
+    symbolsTextSplit.setContinuousLayout(false);
+    symbolsTextSplit.setDividerLocation(0);
     symbolsTextSplit.setOneTouchExpandable(true);
-    symbolsTextSplit.setDividerLocation(0);
+    ((BasicSplitPaneUI) symbolsTextSplit.getUI()).getDivider().addMouseListener(new MouseListener() {
+      public void mouseClicked(MouseEvent e) { }
+      public void mousePressed(MouseEvent e) {
+        symbolsPanel.setVisible(true);
+      }
+      public void mouseReleased(MouseEvent e) { }
+      public void mouseEntered(MouseEvent e) { }
+      public void mouseExited(MouseEvent e) { }
+    });
 
     textToolsSplit = new JSplitPane(JSplitPane.VERTICAL_SPLIT, true, symbolsTextSplit, toolsTab);
     textToolsSplit.setOneTouchExpandable(true);
     textToolsSplit.setResizeWeight(.85);
-    textToolsSplit.setOneTouchExpandable(true);
 
     statusBar = new StatusBar(this);