private void createAndShowGUI() { //Make sure we have nice window decorations. JFrame.setDefaultLookAndFeelDecorated(true); //Create and set up the window. frame = new JFrame("Stanford Named Entity Recognizer"); frame.setDefaultCloseOperation(WindowConstants.EXIT_ON_CLOSE); frame.getContentPane().setLayout(new BorderLayout()); frame.getContentPane().setSize(WIDTH, HEIGHT); frame.setJMenuBar(addMenuBar()); //frame.setSize(new Dimension(WIDTH, HEIGHT)); frame.setSize(WIDTH, HEIGHT); buildTagPanel(); buildContentPanel(); //Display the window. frame.pack(); frame.setSize(WIDTH, HEIGHT); frame.setVisible(true); }
client.setPreferredSize(size); client.getParent().setPreferredSize(size); client.getParent().setSize(size);
this.heavyWeightContainer.setSize(this.heavyWeightContainer.getPreferredSize()); } else { parent.setSize(parent.getPreferredSize());
@ScriptFunction public void setHeight(int aValue) { if (surface != null) { surface.setSize(surface.getWidth(), aValue + windowDecorSize.height); } else { if (formSize == null) { formSize = new Dimension(); } formSize.height = aValue; } }
public void run() { comp.setSize(comp.getWidth()+dx, comp.getHeight()+dy); } });
private void setFrameSizeImpl(final int width, final int height) { final Insets insets = awtContainer.getInsets(); final Dimension szContainer = new Dimension(width + insets.left + insets.right, height + insets.top + insets.bottom); if(DEBUG_IMPLEMENTATION) { final Dimension szClient = new Dimension(width, height); System.err.println(getThreadName()+": AWTWindow setFrameSize: szClient "+szClient+", szCont "+szContainer+", insets "+insets); } awtContainer.setSize(szContainer); awtCanvas.invalidate(); awtContainer.validate(); }
@ScriptFunction public void setWidth(int aValue) { if (surface != null) { surface.setSize(aValue + windowDecorSize.width, surface.getHeight()); } else { if (formSize == null) { formSize = new Dimension(); } formSize.width = aValue; } }
Container contentPane = getContentPane(); contentPane.setLayout(new BorderLayout()); contentPane.setSize(new Dimension(250, 300));
contentPane.setLayout(null); contentPane.setSize(900, 600);
main.getContentPane().setSize(new Dimension(640,480)); main.pack(); main.setModal(shouldBlock);
private void resize( Point pt ) { Container container = getContainer(); int iNewWidth = container.getWidth() + pt.x - getInitialDragLocation().x; int iNewHeight = container.getHeight() + pt.y - getInitialDragLocation().y; container.setSize( iNewWidth, iNewHeight ); container.validate(); }
private void resize( Point pt ) { Container container = getContainer(); int iNewWidth = container.getWidth() + pt.x - getInitialDragLocation().x; int iNewHeight = container.getHeight() + pt.y - getInitialDragLocation().y; container.setSize( iNewWidth, iNewHeight ); container.validate(); }
main.getContentPane().setSize(new Dimension(640,480)); main.pack(); main.setModal(shouldBlock);
parent.setPreferredSize(new Dimension(minWidth, minHeight)); parent.setSize(new Dimension(preferredWidth, preferredHeight));
void makeImage() { // if we have no image or if the image has changed if (getGraphicsConfiguration() != null && getWidth() > 0) { Dimension dim = c.getPreferredSize(); // width and height must be > 0 to be able to create an image if (dim.height > 0) { img = getGraphicsConfiguration().createCompatibleImage(getWidth(), dim.height); c.setSize(getWidth(), dim.height); c.paint(img.getGraphics()); } else { img = null; } } }
windowDecorSize = new Dimension(decorInsets.left + decorInsets.right, decorInsets.top + decorInsets.bottom); if (formSize != null) { surface.setSize(formSize.width + windowDecorSize.width, formSize.height + windowDecorSize.height); } else if (designedViewSize != null) { surface.setSize(designedViewSize.width + windowDecorSize.width, designedViewSize.height + windowDecorSize.height); } else { ((JDialog) surface).pack();
heavyWeightContainer.setSize(heavyWeightContainer .getPreferredSize()); } else {
@Override public void show() { Container myJFrame0 = Utility.appFrame; if (myJFrame0 == null) { launchFrameBlocking(null); } boolean doCenter = false; BrowsePanel myBP = getBrowsePanel(); Container myJFrame = myBP.getTopLevelAncestor(); // we were started as a dwarf and maybe offscreen if (myJFrame.getSize().width < 10 || myJFrame.getSize().height < 10) { myJFrame.setSize(myJFrame.getPreferredSize()); doCenter = true; } if (myJFrame.getSize().width < 10 || myJFrame.getSize().height < 10) { myJFrame.setSize(800, 600); doCenter = true; } if (doCenter) { if (myJFrame instanceof Window) { Utility.centerWindow((Window) myJFrame); } } myBP.setVisible(true); myJFrame.setVisible(true); } }
c.setSize(new Dimension((int) size.getWidth(), (int) size .getHeight()));
c.setSize(new Dimension((int) size.getWidth(), (int) size .getHeight()));