protected void setDisplayMode (int width, int height) { Dimension size = new Dimension(Math.round(width / scaleX), Math.round(height / scaleY)); LwjglFrame.this.getContentPane().setPreferredSize(size); LwjglFrame.this.getContentPane().invalidate(); LwjglFrame.this.pack(); LwjglFrame.this.setLocationRelativeTo(null); updateSize(width, height); }
protected void setDisplayMode (int width, int height) { Dimension size = new Dimension(Math.round(width / scaleX), Math.round(height / scaleY)); LwjglFrame.this.getContentPane().setPreferredSize(size); LwjglFrame.this.getContentPane().invalidate(); LwjglFrame.this.pack(); LwjglFrame.this.setLocationRelativeTo(null); updateSize(width, height); }
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().setPreferredSize(new Dimension(WIDTH, HEIGHT)); frame.setJMenuBar(addMenuBar()); buildTagPanel(); buildContentPanel(); buildExtractButton(); extractButton.setEnabled(false); extract.setEnabled(false); //Display the window. frame.pack(); frame.setVisible(true); }
protected void setDisplayMode (int width, int height) { LwjglAWTFrame.this.getContentPane().setPreferredSize(new Dimension(width, height)); LwjglAWTFrame.this.getContentPane().invalidate(); LwjglAWTFrame.this.pack(); LwjglAWTFrame.this.setLocationRelativeTo(null); updateSize(width, height); }
protected void setDisplayMode (int width, int height) { LwjglAWTFrame.this.getContentPane().setPreferredSize(new Dimension(width, height)); LwjglAWTFrame.this.getContentPane().invalidate(); LwjglAWTFrame.this.pack(); LwjglAWTFrame.this.setLocationRelativeTo(null); updateSize(width, height); }
getContentPane().setPreferredSize(new Dimension(width, height)); initialize(); pack();
getContentPane().setPreferredSize(new Dimension(width, height)); initialize(); pack();
float scaleX = (float)transform.getScaleX(), scaleY = (float)transform.getScaleY(); Dimension size = new Dimension(Math.round(config.width / scaleX), Math.round(config.height / scaleY)); getContentPane().setPreferredSize(size);
float scaleX = (float)transform.getScaleX(), scaleY = (float)transform.getScaleY(); Dimension size = new Dimension(Math.round(config.width / scaleX), Math.round(config.height / scaleY)); getContentPane().setPreferredSize(size);
client.setSize(size); client.setPreferredSize(size); client.getParent().setPreferredSize(size); client.getParent().setSize(size);
private void resizeToFrame(Picture shot) { if (activeSide > RIGHT) { double wFactor = shot.w / (scrW * 0.85f); double hFactor = shot.h / (scrH * 0.85f); resizeFactor = 1 / Math.max(wFactor, hFactor); resizeFactor = Math.min(resizeFactor, 10); } BufferedImage img = getResizedAsBufferedImage(shot, resizeFactor); shotDisplayedW = img.getWidth(); shotDisplayedH = img.getHeight(); Dimension dim = new Dimension(img.getWidth() + 2 * borderThickness, img.getHeight() + 2 * borderThickness + statusHeight); content.setIcon(new ImageIcon(img)); content.setBorder(coloredSide(activeSide)); pBox.setPreferredSize(dim); box.pack(); box.setLocation((int) ((scrW - dim.getWidth()) / 2), (int) (scrH - dim.getHeight()) / 2); updateStatus(); }
@Override public void setPreferredSize(Dimension preferredSize) { getContentPane().setPreferredSize(preferredSize); }
@Override public void setPreferredSize(Dimension preferredSize) { getContentPane().setPreferredSize(preferredSize); }
@Override public void setPreferredSize(Dimension preferredSize) { getContentPane().setPreferredSize(preferredSize); }
@Override public void setPreferredSize(Dimension preferredSize) { getContentPane().setPreferredSize(preferredSize); }
@Override public void setPreferredSize(Dimension preferredSize) { getContentPane().setPreferredSize(preferredSize); }
private void setPreferredWindowSize() { getContentPane().setPreferredSize(windowSize); pack(); }
protected void setDisplayMode (int width, int height) { Dimension size = new Dimension(Math.round(width / scaleX), Math.round(height / scaleY)); LwjglFrame.this.getContentPane().setPreferredSize(size); LwjglFrame.this.getContentPane().invalidate(); LwjglFrame.this.pack(); LwjglFrame.this.setLocationRelativeTo(null); updateSize(width, height); }
private void redimensionar(int largura, int altura) { if (!tela_cheia) { this.largura = largura; this.altura = altura; dispose(); setVisible(true); getContentPane().setPreferredSize(new Dimension(largura, altura)); pack(); superficieDesenho.redimensionar(largura, altura); } }
protected void setDisplayMode (int width, int height) { LwjglAWTFrame.this.getContentPane().setPreferredSize(new Dimension(width, height)); LwjglAWTFrame.this.getContentPane().invalidate(); LwjglAWTFrame.this.pack(); LwjglAWTFrame.this.setLocationRelativeTo(null); updateSize(width, height); }