|
1 |
return new Dimension(previewPane.getWidth(), previewPane.getHeight());
|
|
2 |
repaint(startY, component.getHeight());
|
|
3 |
g.fillRect(0,0,c.getWidth(),c.getHeight());
|
|
4 |
int h = getHeight();
|
|
5 |
g.clearRect(0,0,this.getWidth(),this.getHeight());
|
|
6 |
log.debug("After val:"+l.getWidth()+" "+l.getHeight()+" "+getX()+" "+getY());
|
|
7 |
lastAttributeDividerPosition = ((double) attributeSplitPane.getDividerLocation()) / attributeSplitPane.getHeight();
|
|
8 |
component.getWidth ( ), component.getHeight ( ), component );
|
|
9 |
Configuration.setInteger(Argo.KEY_SCREEN_SOUTH_HEIGHT, _southPane.getHeight());
|
|
10 |
int lHeight = getFrameSheet().getHeight();
|
|
11 |
Point pt = new Point(0, textArea.getHeight() - 1);
|
|
12 |
g.fillRect(0, 0, getWidth(), getHeight());
|
|
13 |
g.fillRect(0, 0, c.getWidth(), c.getHeight());
|
|
14 |
int y = Math.max(0, Math.min(bb.y, this.getHeight() - insets.top - insets.bottom - my));
|
|
15 |
Image result = graph.createImage(graph.getWidth(), graph.getHeight());
|
|
16 |
int height = button.getHeight()-2; // the height of the button is including the outline
|
|
17 |
int height = painter.getHeight();
|
|
18 |
int height = painter.getHeight();
|
|
19 |
maxR = textPane.getHeight() / textPane.getFontMetrics(textPane.getFont()).getHeight();
|
|
20 |
g.fillRect( 0, 0, getWidth(), getHeight() );
|
