[e-cvs] cvs commit: e/src/esrc/scripts eBrowser.e

markm@eros.cs.jhu.edu markm@eros.cs.jhu.edu
Mon, 20 Aug 2001 12:04:45 -0400


markm       01/08/20 12:04:45

  Modified:    src/esrc/scripts eBrowser.e
  Log:
  more tweaks

Revision  Changes    Path
1.33      +9 -8      e/src/esrc/scripts/eBrowser.e

Index: eBrowser.e
===================================================================
RCS file: /cvs/e/src/esrc/scripts/eBrowser.e,v
retrieving revision 1.32
retrieving revision 1.33
diff -u -r1.32 -r1.33
--- eBrowser.e	2001/08/20 15:44:31	1.32
+++ eBrowser.e	2001/08/20 16:04:45	1.33
@@ -515,7 +515,7 @@
         <swing:ScrollPaneConstants> HORIZONTAL_SCROLLBAR_ALWAYS())
     scrollingTextPane getViewport() add(textPane)
     scrollingTextPane setMinimumSize(<awt:Dimension> new(200, 100))
-    scrollingTextPane setPreferredSize(<awt:Dimension> new(700, 700))
+    scrollingTextPane setPreferredSize(<awt:Dimension> new(800, 700))
 
     # build variable list pane
     def varListPopup := <swing:JPopupMenu> new("Var Ops")
@@ -589,10 +589,10 @@
         match _ {}
     }
     funcListPane addMouseListener(funcListPaneListener)
-    funcListPane setMinimumSize(<awt:Dimension> new(200, 100))
-    funcListPane setPreferredSize(<awt:Dimension> new(300, 100)) # why no effect?
-    scrollingFuncPane setMinimumSize(<awt:Dimension> new(200, 100))
-    scrollingFuncPane setPreferredSize(<awt:Dimension> new(300, 100)) # why no effect?
+    funcListPane setMinimumSize(<awt:Dimension> new(100, 100))
+    funcListPane setPreferredSize(<awt:Dimension> new(200, 100)) # why no effect?
+    scrollingFuncPane setMinimumSize(<awt:Dimension> new(100, 100))
+    scrollingFuncPane setPreferredSize(<awt:Dimension> new(200, 100)) # why no effect?
 
     # build output viewpane
     def outputPane := <swing:JTextArea> new()
@@ -806,10 +806,11 @@
     mainFrame pack()
     mainFrame setSize(1100,900)
     mainFrame setLocation(50 + entropy nextInt() % 30, 50 + entropy nextInt() % 30)
+    E call(outLineSplitter, "setDividerLocation(int)",[200])
+    E call(outputSplitter, "setDividerLocation(int)",[-1])
+    # def width := varLineSplitter getBounds() width()
+    E call(varLineSplitter, "setDividerLocation(int)",[800])
     mainFrame show()
-    # E call(outputSplitter, "setDividerLocation(double)",[0.9])
-    def width := varLineSplitter getBounds() width()
-    # E call(varLineSplitter, "setDividerLocation(int)",[350])
 
     def windowActiveListener {
         to windowActivated(e) {