@Override public void setResolution(Dimension size) { resolution.setSize(size.getWidth(), size.getHeight()); }
private void setPreferredWidth() { Element root = codeArea.getDocument().getDefaultRootElement(); int lines = root.getElementCount(); int digits = Math.max(String.valueOf(lines).length(), 3); if (lastDigits != digits) { lastDigits = digits; FontMetrics fontMetrics = getFontMetrics(getFont()); int width = fontMetrics.charWidth('0') * digits; Insets insets = getInsets(); int preferredWidth = insets.left + insets.right + width; Dimension d = getPreferredSize(); if (d != null) { d.setSize(preferredWidth, NUM_HEIGHT); setPreferredSize(d); setSize(d); } } }
/** * Calculate the width needed to display the maximum line number */ private void setPreferredWidth() { Element root = component.getDocument().getDefaultRootElement(); int lines = root.getElementCount(); int digits = Math.max(String.valueOf(lines).length(), minimumDisplayDigits); // Update sizes when number of digits in the line number changes if (lastDigits != digits) { lastDigits = digits; FontMetrics fontMetrics = getFontMetrics(getFont()); int width = fontMetrics.charWidth('0') * digits; Insets insets = getInsets(); int preferredWidth = insets.left + insets.right + width; Dimension d = getPreferredSize(); d.setSize(preferredWidth, HEIGHT); setPreferredSize(d); setSize(d); } }
childDimensions.setSize(totalWidth, totalHeight);
PRINT_SIZE.setSize(paper.getImageableWidth(), getSize().getHeight()); PRINT_PANE.setSize(PRINT_SIZE);
sp.validate(); Dimension d = sp.getPreferredSize(); d.setSize(d.width, d.height / 2); sp.setPreferredSize(d);
// Test if each monitor will support my app's window // Iterate through each monitor and see what size each is GraphicsEnvironment ge = GraphicsEnvironment.getLocalGraphicsEnvironment(); GraphicsDevice[] gs = ge.getScreenDevices(); Dimension mySize = new Dimension(myWidth, myHeight); Dimension maxSize = new Dimension(minRequiredWidth, minRequiredHeight); for (int i = 0; i < gs.length; i++) { DisplayMode dm = gs[i].getDisplayMode(); if (dm.getWidth() > maxSize.getWidth() && dm.getHeight() > maxSize.getHeight()) { // Update the max size found on this monitor maxSize.setSize(dm.getWidth(), dm.getHeight()); } // Do test if it will work here }
private void openTwigPathDialog(@Nullable TwigPath twigPath) { TwigNamespaceDialog twigNamespaceDialog; if(twigPath == null) { twigNamespaceDialog = new TwigNamespaceDialog(project, this.tableView); } else { twigNamespaceDialog = new TwigNamespaceDialog(project, this.tableView, twigPath); } Dimension dim = new Dimension(); dim.setSize(500, 190); twigNamespaceDialog.setTitle("Twig Namespace"); twigNamespaceDialog.setMinimumSize(dim); twigNamespaceDialog.pack(); twigNamespaceDialog.setLocationRelativeTo(TwigSettingsForm.this.panel1); twigNamespaceDialog.setVisible(true); }
private void openTwigPathDialog(@Nullable MethodParameterSetting methodParameterSetting) { MethodParameterDialog twigNamespaceDialog; if(methodParameterSetting == null) { twigNamespaceDialog = new MethodParameterDialog(project, this.tableView); } else { twigNamespaceDialog = new MethodParameterDialog(project, this.tableView, methodParameterSetting); } Dimension dim = new Dimension(); dim.setSize(500, 190); twigNamespaceDialog.setTitle("MethodParameterSetting"); twigNamespaceDialog.setMinimumSize(dim); twigNamespaceDialog.pack(); twigNamespaceDialog.setLocationRelativeTo(this.panel1); twigNamespaceDialog.setVisible(true); }
private void openTwigPathDialog(@Nullable MethodSignatureSetting methodParameterSetting) { MethodSignatureTypeDialog twigNamespaceDialog; if(methodParameterSetting == null) { twigNamespaceDialog = new MethodSignatureTypeDialog(project, this.tableView); } else { twigNamespaceDialog = new MethodSignatureTypeDialog(project, this.tableView, methodParameterSetting); } Dimension dim = new Dimension(); dim.setSize(500, 190); twigNamespaceDialog.setTitle("MethodSignatureSetting"); twigNamespaceDialog.setMinimumSize(dim); twigNamespaceDialog.pack(); twigNamespaceDialog.setLocationRelativeTo(this.panel1); twigNamespaceDialog.setVisible(true); } }
/** * Gets the size of the array of pixels to be copied. * @param size the new size */ final void getSize(Dimension size) { size.setSize(width, height); }
@Override public Dimension getPreferredSize() { Dimension dimension = super.getPreferredSize(); dimension.setSize(dimension.getWidth()+8, dimension.getHeight()+6); return dimension; }
public void translate(int tx, int ty) { _aggregateBounds.translate(tx, ty); _outerMarginCorner.setSize( _outerMarginCorner.getWidth()+tx, _outerMarginCorner.getHeight()+ty); } }
@Override public Dimension getPreferredSize(JComponent c) { Dimension dimension = super.getPreferredSize(c); if (dimension == null) { dimension = new Dimension(150, 26); } int value = Math.max(dimension.width, dimension.height); dimension.setSize(value, value); return dimension; }
@Override public Dimension getPreferredSize(JComponent c) { Dimension d = super.getPreferredSize(c); int v = Math.max(d.width, d.height); d.setSize(v, v); return d; }
/** * @return the preferred size */ public Dimension getPreferredSize() { FontMetrics fm = getFontMetrics(m_font); int line_height = fm.getHeight(); m_pref_size.setSize(fm.stringWidth(m_index_str) + MARGIN * 2, line_height); return m_pref_size; }
public void updatePanelSize() { // size.setSize(this.getWidth(), DESIRED_HEIGHT); Dimension size = new Dimension(); size.setSize(DESIRED_WIDTH, DESIRED_HEIGHT); this.setPreferredSize(size); this.updateUI(); }
private Axis createAxis(ReferenceFrame frame) { Axis axis = new Axis(frame); Dimension maxDim = new Dimension(Integer.MAX_VALUE, 25); axis.setMaximumSize(maxDim); Dimension prefDim = new Dimension(maxDim); prefDim.setSize(frame.getWidthInPixels(), prefDim.height); axis.setPreferredSize(prefDim); return axis; }
private void beforeAdd(JInternalFrame child) { if (!GUIUtils.isToolWindow(child)) { Dimension cs = getSize(); // Cast to int required as Dimension::setSize(double,double) // doesn't appear to do anything in JDK1.2.2. cs.setSize((int) (cs.width * 0.8d), (int) (cs.height * 0.8d)); child.setSize(cs); } }
public void updatePanelSize() { sz.setSize(WIDTH, FONT_SIZE * ga.getPopulationSize()); this.setPreferredSize(sz); this.updateUI(); }