lib/browser/GraphBrowser/GraphBrowser.java
changeset 6753 43507781dc4d
parent 6648 d70810da5565
child 9407 e8f6d918fde9
equal deleted inserted replaced
6752:0545b77f864e 6753:43507781dc4d
   143 			scrollp2.add(tb);
   143 			scrollp2.add(tb);
   144 			scrollp1.getHAdjustable().setUnitIncrement(20);
   144 			scrollp1.getHAdjustable().setUnitIncrement(20);
   145 			scrollp1.getVAdjustable().setUnitIncrement(20);
   145 			scrollp1.getVAdjustable().setUnitIncrement(20);
   146 			scrollp2.getHAdjustable().setUnitIncrement(20);
   146 			scrollp2.getHAdjustable().setUnitIncrement(20);
   147 			scrollp2.getVAdjustable().setUnitIncrement(20);
   147 			scrollp2.getVAdjustable().setUnitIncrement(20);
   148 			Component gv2 = new Border(scrollp1, 5);
   148 			Component gv2 = new Border(scrollp1, 3);
   149 			Component tb2 = new Border(scrollp2, 5);
   149 			Component tb2 = new Border(scrollp2, 3);
   150 			GridBagLayout gridbag = new GridBagLayout();
   150 			GridBagLayout gridbag = new GridBagLayout();
   151 			GridBagConstraints cnstr = new GridBagConstraints();
   151 			GridBagConstraints cnstr = new GridBagConstraints();
   152 			setLayout(gridbag);
   152 			setLayout(gridbag);
   153 			cnstr.fill = GridBagConstraints.BOTH;
   153 			cnstr.fill = GridBagConstraints.BOTH;
   154 			cnstr.insets = new Insets(5,5,5,5);
   154 			cnstr.insets = new Insets(5,5,5,5);