5960616263646566676869
} d.setSize(d.getWidth() - 20, d.getHeight() - 20); setAllSize(x, y); scrollPane.invalidate(); scrollPane.validate(); } } private Insets getInsets(JScrollPane scrollPane) { if (scrollPane == null) {
108109110111112113114115116117118
x = ((int) d.getWidth()) - 20; if (y <= d.getHeight()) y = ((int) d.getHeight()) - 20; setAllSize(x, y); scrollPane.invalidate(); scrollPane.validate(); } } private void setAllSize(int width, int height) { Dimension d = new Dimension(width, height);
132133134135136137138139140141142
contents.validate(); JScrollPane scroll = new JScrollPane(); this.setContentPane(scroll); this.validate(); scroll.validate(); scroll.setVisible(true); contents.setVisible(true); scroll.setViewportView(contents); this.pack(); this.view.add(this);
235236237238239240241242243244245
} d.setSize(d.getWidth() - 20, d.getHeight() - 20); desktop.setAllSize(x,y); scrollPane.invalidate(); scrollPane.validate(); } } private Insets getScrollPaneInsets() { JScrollPane scrollPane = getScrollPane();
285286287288289290291292293
if (x <= d.getWidth()) x = ((int)d.getWidth()) - 20; if (y <= d.getHeight()) y = ((int)d.getHeight()) - 20; desktop.setAllSize(x,y); scrollPane.invalidate(); scrollPane.validate(); } } }
230231232233234235236237238239240
} d.setSize(d.getWidth() - 20, d.getHeight() - 20); desktop.setAllSize(x, y); scrollPane.invalidate(); scrollPane.validate(); } } private Insets getScrollPaneInsets() { JScrollPane scrollPane = getScrollPane();
if (y <= d.getHeight()) { y = (int) d.getHeight() - 20; } desktop.setAllSize(x, y); scrollPane.invalidate(); scrollPane.validate(); } } }
270271272273274275276277278279280
} d.setSize(d.getWidth() - 20, d.getHeight() - 20); desktop.setAllSize(x,y); scrollPane.invalidate(); scrollPane.validate(); } } private Insets getScrollPaneInsets() { JScrollPane scrollPane=getScrollPane();
315316317318319320321322323