[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) {