/[svn]/jsampler/trunk/src/org/jsampler/view/fantasia/MainPane.java
ViewVC logotype

Diff of /jsampler/trunk/src/org/jsampler/view/fantasia/MainPane.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1322 by iliev, Sat Sep 1 13:46:04 2007 UTC revision 1323 by iliev, Tue Sep 4 15:41:13 2007 UTC
# Line 95  public class MainPane extends JPanel { Line 95  public class MainPane extends JPanel {
95                  sp.setBorder(BorderFactory.createEmptyBorder());                  sp.setBorder(BorderFactory.createEmptyBorder());
96                  sp.setOpaque(false);                  sp.setOpaque(false);
97                  javax.swing.JViewport wp = sp.getViewport();                  javax.swing.JViewport wp = sp.getViewport();
98                  wp.setMinimumSize(new Dimension(420, wp.getMinimumSize().height));                  wp.setMinimumSize(new Dimension(400, wp.getMinimumSize().height));
99                  wp.setOpaque(false);                  wp.setOpaque(false);
100                  sp.setMaximumSize(new Dimension(sp.getMaximumSize().width, Short.MAX_VALUE));                  sp.setMaximumSize(new Dimension(sp.getMaximumSize().width, Short.MAX_VALUE));
101                  sp.getVerticalScrollBar().setBorder(BorderFactory.createEmptyBorder(7, 4, 0, 1));                  sp.getVerticalScrollBar().setBorder(BorderFactory.createEmptyBorder(7, 4, 0, 1));
# Line 122  public class MainPane extends JPanel { Line 122  public class MainPane extends JPanel {
122                  gridbag.setConstraints(sp, c);                  gridbag.setConstraints(sp, c);
123                  add(sp);                  add(sp);
124                                    
125                  //setMaximumSize(new Dimension(420, Short.MAX_VALUE));                  setMaximumSize(new Dimension(420, Short.MAX_VALUE));
126          }          }
127                    
128          private JPanel          private JPanel
# Line 143  public class MainPane extends JPanel { Line 143  public class MainPane extends JPanel {
143                    
144          private void          private void
145          onScrollBarVisibilityChanged() {          onScrollBarVisibilityChanged() {
146                    int w = 420;
147                  int h = scrollPane.getPreferredSize().height;                  int h = scrollPane.getPreferredSize().height;
148                  int scrollbarWidth = scrollPane.getVerticalScrollBar().getPreferredSize().width;                  int scrollbarWidth = scrollPane.getVerticalScrollBar().getPreferredSize().width;
149                                    
150                  if(scrollPane.getVerticalScrollBar().isVisible()) {                  if(scrollPane.getVerticalScrollBar().isVisible()) w += scrollbarWidth;
151                          scrollPane.setPreferredSize(new Dimension(420 + scrollbarWidth, h));                  
152                  } else {                  scrollPane.setMinimumSize(new Dimension(w, scrollPane.getPreferredSize().height));
153                          scrollPane.setPreferredSize(new Dimension(420, h));                  scrollPane.setPreferredSize(new Dimension(w, h));
154                    scrollPane.setMaximumSize(new Dimension(w, Short.MAX_VALUE));
155                    setMaximumSize(new Dimension(w, Short.MAX_VALUE));
156                    
157                    if(CC.getMainFrame() != null && !CC.getMainFrame().isResizable()) {
158                            // this means that there are no visible side panes
159                            
160                            w = CC.getMainFrame().getPreferredSize().width;
161                            CC.getMainFrame().setSize(w, CC.getMainFrame().getHeight());
162                  }                  }
163                                    
164                  revalidate();                  revalidate();

Legend:
Removed from v.1322  
changed lines
  Added in v.1323

  ViewVC Help
Powered by ViewVC