725726727728729730731732733734735
for (int i = 0; i < comps.size(); i++) { BeanInstance bi = (BeanInstance)comps.elementAt(i); JComponent c = (JComponent)bi.getBean(); Dimension d = c.getPreferredSize(); c.setBounds(bi.getX(), bi.getY(), d.width, d.height); c.revalidate(); } } } /**
114115116117118119120121122123124
JComponent c = (JComponent) e.getComponent(); Rectangle r = c.getBounds(); full.setBounds(r); pip.setBounds(r); controls.setBounds(r); c.revalidate(); } }); for (int i = 1; i < files.length; ++i) { String uri = files[i];
772773774775776777778779780781782
466467468469470471472473474475476
for (int i = menuItems.length - bottomFixedCount; i < menuItems.length; i++) { menu.add(menuItems[i]); } JComponent parent = (JComponent) upItem.getParent(); parent.revalidate(); parent.repaint(); } } private class MenuScrollListener implements PopupMenuListener {
564565566567568569570571572573574
for (Component item : menuItems) { preferredWidth = Math.max(preferredWidth, item.getPreferredSize().width); } menu.setPreferredSize(new Dimension(preferredWidth, menu.getPreferredSize().height)); JComponent parent = (JComponent) upItem.getParent(); parent.revalidate(); parent.repaint(); } } private class MouseScrollListener implements MouseWheelListener {
591592593594595596597598599600601
{ menu.add( menuItems[i] ); } JComponent parent = ( JComponent )upItem.getParent(); parent.revalidate(); parent.repaint(); } } private class MenuScrollListener implements PopupMenuListener
6869707172737475767778
JComponent jc = (JComponent)this._component; // TF:6/9/07:Added functionality to use GridTitledBorder if (jc.getBorder() instanceof GridTitledBorder) { // Grid Titled Borders know how to adjust themselves properly ((GridTitledBorder)jc.getBorder()).setFrameWeight(this.weight); jc.revalidate(); jc.repaint(); } else if (jc instanceof TextGraphic) { Border newBorder = null; switch (this.weight){
6970717273747576777879
355356357358359360361362363364365
for (int i = menuItems.length - bottomFixedCount; i < menuItems.length; i++) { menu.add(menuItems[i]); } JComponent parent = (JComponent) upItem.getParent(); parent.revalidate(); parent.repaint(); } } protected class MenuScrollTimer extends Timer {