public SwingTest() {
Container contentPane = getContentPane();
pnTop.setBackground(Color.pink);
pnCenter.setBackground(Color.YELLOW);
pnBottom.setBackground(Color.BLUE);
this.setLayout(new GridLayout(4, 1));
pnTop.add(lbName);
pnTop.setLayout(new FlowLayout());
contentPane.add(pnTop);
pnCenter.add(lbAge);
contentPane.add(pnCenter);
pnBottom.add(lbAddress);
contentPane.add(pnBottom);
pnResult.add(lbResult);
contentPane.add(pnResult);
Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();
int nXpos = (int) (screen.getWidth() / 2 - super.getWidth() / 2);
int nYpos = (int) (screen.getHeight() / 2 - super.getHeight() / 2);
setSize(nXpos, nYpos);
setVisible(true);
}
/*
* This method is called every time:
* - to make sure the viewport is returned to its default position
* - to remove the horizontal scrollbar when it is not wanted
*/
private void checkHorizontalScrollBar(BasicComboPopup popup) {
// Reset the viewport to the left
JViewport viewport = scrollPane.getViewport();
Point p = viewport.getViewPosition();
p.x = 0;
viewport.setViewPosition(p);
// Remove the scrollbar so it is never painted
if (!scrollBarRequired) {
scrollPane.setHorizontalScrollBar(null);
return;
}
// Make sure a horizontal scrollbar exists in the scrollpane
JScrollBar horizontal = scrollPane.getHorizontalScrollBar();
if (horizontal == null) {
horizontal = new JScrollBar(JScrollBar.HORIZONTAL);
scrollPane.setHorizontalScrollBar(horizontal);
scrollPane.setHorizontalScrollBarPolicy(JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
}
// Potentially increase height of scroll pane to display the scrollbar
if (horizontalScrollBarWillBeVisible(popup, scrollPane)) {
Dimension scrollPaneSize = scrollPane.getPreferredSize();
scrollPaneSize.height += horizontal.getPreferredSize().height;
scrollPane.setPreferredSize(scrollPaneSize);
scrollPane.setMaximumSize(scrollPaneSize);
scrollPane.revalidate();
}
}
/** Description of the Method */
public void init() {
// super.init();
size = new Dimension(570, 570);
contentPane = (JPanel) this.getContentPane();
contentPane.setLayout(borderLayout1);
Dimension d = messagePanel.getSize();
d.height += 20;
messagePanel.setPreferredSize(d);
contentPane.add(messagePanel, BorderLayout.SOUTH);
contentPane.setOpaque(true);
userPanel.setLayout(new GridBagLayout());
GridBagConstraints gbc = new GridBagConstraints();
gbc.anchor = GridBagConstraints.WEST;
gbc.insets = new Insets(2, 2, 2, 2);
messagePanel.setLayout(borderLayout5);
contentPane.setOpaque(true);
contentPane.setBackground(Color.white);
this.setSize(size);
messagePanel.add(labelMessage, BorderLayout.NORTH);
// Logg.logg("MhClient: Före XttTree-skapande", 6);
this.mhTable = new MhTable(root, false, this.labelMessage);
// Logg.logg("MhClient: mhTable-skapande klart", 6);
this.contentPane.add(this.mhTable.splitPane, BorderLayout.CENTER);
}
/*
* (non-Javadoc)
*
* @see
* org.jvnet.flamingo.common.ui.BasicCommandButtonUI#getPreferredSize(javax
* .swing.JComponent)
*/
@Override
public Dimension getPreferredSize(JComponent c) {
AbstractCommandButton button = (AbstractCommandButton) c;
SubstanceButtonShaper shaper = SubstanceCoreUtilities.getButtonShaper(button);
Dimension superPref = super.getPreferredSize(button);
if (superPref == null) return null;
if (shaper == null) return superPref;
// fix for issue 35 on Flamingo - do not enforce
// min size on buttons in the ribbon
// Additional fix - buttons with popup action should
// not have min size enforced as well
// Additional fix - buttons in popup menus and breadcrumb bars should
// not have min size enforced
if ((button.getDisplayState() == CommandButtonDisplayState.MEDIUM)
&& (SwingUtilities.getAncestorOfClass(AbstractRibbonBand.class, button) == null)
&& (SwingUtilities.getAncestorOfClass(JBreadcrumbBar.class, button) == null)
&& (SwingUtilities.getAncestorOfClass(JCommandPopupMenu.class, button) == null)) {
JButton dummy = new JButton(button.getText(), button.getIcon());
Dimension result = shaper.getPreferredSize(dummy, superPref);
if (FlamingoUtilities.hasPopupAction(button)) {
result.width = superPref.width;
}
return result;
}
return superPref;
}
void jButtonWeights_actionPerformed(ActionEvent e) {
NumberGeneratorDialog dlg =
new NumberGeneratorDialog(
(Frame) null,
"Weights",
"Weight of synaptic connections",
mySynProps.getWeightsGenerator(),
true);
// Center the window
Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
Dimension frameSize = dlg.getSize();
if (frameSize.height > screenSize.height) {
frameSize.height = screenSize.height;
}
if (frameSize.width > screenSize.width) {
frameSize.width = screenSize.width;
}
dlg.setLocation(
(screenSize.width - frameSize.width) / 2, (screenSize.height - frameSize.height) / 2);
dlg.setVisible(true);
jTextFieldWeights.setText(mySynProps.getWeightsGenerator().toShortString());
// mySynProps.setWeightsGenerator(dlg.getFinalNumGen());
}
public ActionBar(View view, boolean temp) {
setLayout(new BoxLayout(this, BoxLayout.X_AXIS));
this.view = view;
this.temp = temp;
add(Box.createHorizontalStrut(2));
JLabel label = new JLabel(jEdit.getProperty("view.action.prompt"));
add(label);
add(Box.createHorizontalStrut(12));
add(action = new ActionTextField());
action.setEnterAddsToHistory(false);
Dimension max = action.getPreferredSize();
max.width = Integer.MAX_VALUE;
action.setMaximumSize(max);
action.addActionListener(new ActionHandler());
action.getDocument().addDocumentListener(new DocumentHandler());
if (temp) {
close = new RolloverButton(GUIUtilities.loadIcon("closebox.gif"));
close.addActionListener(new ActionHandler());
close.setToolTipText(jEdit.getProperty("view.action.close-tooltip"));
add(close);
}
this.temp = temp;
}
private JPanel createCompPanel() {
filesets = new Vector();
int count = installer.getIntegerProperty("comp.count");
JPanel panel = new JPanel(new GridLayout(count, 1));
String osClass = OperatingSystem.getOperatingSystem().getClass().getName();
osClass = osClass.substring(osClass.indexOf('$') + 1);
for (int i = 0; i < count; i++) {
String os = installer.getProperty("comp." + i + ".os");
if (os != null && !osClass.equals(os)) continue;
JCheckBox checkBox =
new JCheckBox(
installer.getProperty("comp." + i + ".name")
+ " ("
+ installer.getProperty("comp." + i + ".disk-size")
+ "Mb)");
checkBox.getModel().setSelected(true);
checkBox.addActionListener(this);
checkBox.setRequestFocusEnabled(false);
filesets.addElement(new Integer(i));
panel.add(checkBox);
}
Dimension dim = panel.getPreferredSize();
dim.width = Integer.MAX_VALUE;
panel.setMaximumSize(dim);
return panel;
}
/**
* Randomly picks the location of a new window, such that it fits completely on the screen.
*
* @param desktopPane the desktop pane that the frame is being added to.
* @param frame the JInternalFrame which is being added.
* @param desiredSize the desired dimensions of the frame.
*/
private static void setGoodBounds(
JInternalFrame frame, JDesktopPane desktopPane, Dimension desiredSize) {
RandomUtil randomUtil = RandomUtil.getInstance();
Dimension desktopSize = desktopPane.getSize();
Dimension d = new Dimension(desiredSize);
int tx = desktopSize.width - d.width;
int ty = desktopSize.height - d.height;
if (tx < 0) {
tx = 0;
d.width = desktopSize.width;
} else {
tx = (int) (randomUtil.nextDouble() * tx);
}
if (ty < 0) {
ty = 0;
d.height = desktopSize.height;
} else {
ty = (int) (randomUtil.nextDouble() * ty);
}
frame.setBounds(tx, ty, d.width, d.height);
}
/**
* The critical part of the animation of this <code>JCollapsiblePane</code> relies on the
* calculation of its preferred size. During the animation, its preferred size (specially its
* height) will change, when expanding, from 0 to the preferred size of the content pane, and the
* reverse when collapsing.
*
* @return this component preferred size
*/
public Dimension getPreferredSize() {
/*
* The preferred size is calculated based on the current position of the
* component in its animation sequence. If the Component is expanded, then
* the preferred size will be the preferred size of the top component plus
* the preferred size of the embedded content container. <p>However, if the
* scroll up is in any state of animation, the height component of the
* preferred size will be the current height of the component (as contained
* in the currentHeight variable)
*/
Dimension dim;
if (!isAnimated()) {
if (getContentPane().isVisible()) {
dim = getContentPane().getPreferredSize();
} else {
dim = super.getPreferredSize();
}
} else {
dim = new Dimension(getContentPane().getPreferredSize());
if (!getContentPane().isVisible() && currentHeight != -1) {
dim.height = currentHeight;
}
}
return dim;
}
private void computeWorkersSizes(Dimension panelDimensions) {
// check when the column of of workers start
double startWorkerColumn = 8d * panelDimensions.getWidth() / 9d;
double workerColumnWidth = panelDimensions.getWidth() - startWorkerColumn;
workerXStart = startWorkerColumn + workerColumnWidth / 5d;
workerXEnd = panelDimensions.getWidth() - workerColumnWidth / 5d;
workerFirstY = panelDimensions.getHeight() / 9d;
workerLastY = 8d * panelDimensions.getHeight() / 9d;
workerHeight = (workerLastY - workerFirstY) / new Double(Market.numberOfWorkers);
assert workerXStart > 0;
assert workerXEnd > 0;
assert workerFirstY > 0;
assert workerLastY > 0;
assert workerHeight > 0;
int index = 0;
for (Consumer x : SleepStoneTest.market.getLabor().workers) {
Rectangle rectangle =
new Rectangle(
(int) workerXStart,
(int) (workerFirstY + index * workerHeight),
(int) (workerXEnd - workerXStart),
(int) workerHeight);
tradersPlace.put(x, new Point((int) rectangle.getCenterX(), (int) rectangle.getCenterY()));
consumerPlace.put(x, rectangle);
index++;
}
}
public PleaseWaitFrame() throws HeadlessException {
Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
int locationX = (int) (screenSize.getWidth() - FRAME_SIZE.getWidth()) / 2;
int locationY = (int) (screenSize.getHeight() - FRAME_SIZE.getHeight()) / 2;
this.setSize(FRAME_SIZE);
this.setLocation(locationX, locationY);
this.setUndecorated(true);
this.setResizable(false);
JPanel panel = new JPanel();
GridBagLayout gbl = new GridBagLayout();
GridBagConstraints gbc = new GridBagConstraints();
gbc.insets = new Insets(0, 0, 0, 0);
gbc.fill = GridBagConstraints.CENTER;
panel.setLayout(gbl);
messageLabel = new JLabel(message);
messageLabel.setFont(new Font(null, Font.BOLD, 25));
panel.add(messageLabel, gbc);
Border border = new LineBorder(Color.BLACK, 1);
panel.setSize(FRAME_SIZE);
panel.setBorder(border);
this.setContentPane(panel);
// super.setVisible(true);
super.setVisible(false);
}
private void computeMarketsSize(Dimension panelDimensions) {
double rowMaxLenght = 8d * panelDimensions.getWidth() / 9d;
// check when the column of of workers start
double halfheight = panelDimensions.getHeight() / 2d;
marketYStart = 2d * halfheight / 5d + halfheight;
marketYEnd = 3d * halfheight / 5d + halfheight;
marketFirstX = rowMaxLenght / 9d;
marketLastX = 8d * rowMaxLenght / 9d;
double rowRealLenght = marketLastX - marketFirstX;
marketRadius = (rowRealLenght * 3d) / (4d * new Double(GoodType.values().length));
marketSpacing = marketRadius / 3d;
int index = 0;
for (GoodType x : GoodType.values()) {
Point a =
new Point(
(int) Math.round(marketFirstX + index * (marketRadius + marketSpacing)),
(int) Math.round((marketYStart + marketYEnd) / 2d));
marketPlace.put(x, a);
index++;
}
}
private void computeFirmSizes(Dimension panelDimensions) {
ArrayList<Firm> firms = SleepStoneTest.firms;
double rowMaxLenght = 8d * panelDimensions.getWidth() / 9d;
// check when the column of of workers start
double halfheight = panelDimensions.getHeight() / 2d;
firmYStart = halfheight / 3d;
firmYEnd = 2d * halfheight / 3d;
firmFirstX = rowMaxLenght / 11d;
firmLastX = 10d * rowMaxLenght / 11d;
double rowRealLenght = firmLastX - firmFirstX;
firmLenght = (rowRealLenght * 3d) / (4d * new Double(firms.size()));
firmSpacing = firmLenght / 3d;
// compute the rectangles
for (int i = 0; i < firms.size(); i++) {
Rectangle location =
new Rectangle(
(int) Math.round(firmFirstX + i * (firmLenght + firmSpacing)),
(int) Math.round(firmYStart),
(int) Math.round(firmLenght),
(int) Math.round(firmYEnd - firmYStart));
System.out.println(location);
firmsPlace.put(firms.get(i), location);
tradersPlace.put(
firms.get(i), new Point((int) location.getCenterX(), (int) location.getCenterY()));
}
}
@Override
public void paintComponent(Graphics g) {
Graphics2D g2 = (Graphics2D) g;
Dimension d = this.getSize();
int width = (int) d.getWidth();
int height = (int) d.getHeight();
g2.clearRect(0, 0, width, height);
AffineTransform at = null;
if (cachedImage == null) {
renderOffscreen();
}
if (getOrientation() == SwingConstants.VERTICAL) {
at = AffineTransform.getScaleInstance((double) width / 10f, (double) height / DEFAULT_HEIGHT);
}
if (getOrientation() == SwingConstants.HORIZONTAL) {
at =
AffineTransform.getScaleInstance(
(double) width / DEFAULT_WIDTH, (double) height / (double) 10);
}
drawBackground(g2);
g2.drawRenderedImage(cachedImage, at);
}
@Override
public Dimension getPreferredSize() {
Dimension size = super.getPreferredSize();
UIManager.LookAndFeelInfo info = LafManager.getInstance().getCurrentLookAndFeel();
if (info != null && info.getName().contains("Windows")) size.width += 10;
return size;
}
@Override
public Dimension getPreferredSize() {
final Dimension size = super.getPreferredSize();
size.width += (myMoreRec.width + myDownIconInsets.left + myDownIconInsets.right);
size.height += (myDownIconInsets.top + myDownIconInsets.bottom);
return size;
}
public void processCellResized(
RadContainer container, final boolean isRow, final int cell, final int newSize) {
int cellCount = isRow ? container.getGridRowCount() : container.getGridColumnCount();
if (container.getParent().isXY() && cell == cellCount - 1) {
processRootContainerResize(container, isRow, newSize);
} else {
for (RadComponent component : container.getComponents()) {
GridConstraints c = component.getConstraints();
if (c.getCell(isRow) == cell && c.getSpan(isRow) == 1) {
Dimension preferredSize = new Dimension(c.myPreferredSize);
if (isRow) {
preferredSize.height = newSize;
if (preferredSize.width == -1) {
preferredSize.width = component.getDelegee().getPreferredSize().width;
}
} else {
preferredSize.width = newSize;
if (preferredSize.height == -1) {
preferredSize.height = component.getDelegee().getPreferredSize().height;
}
}
PreferredSizeProperty.getInstance(container.getProject())
.setValueEx(component, preferredSize);
}
}
}
}
@Override
public Dimension getMinimumSize(JComponent c) {
AbstractButton b = (AbstractButton) c;
String style = (String) c.getClientProperty("Quaqua.Button.style");
if (style == null) {
style = "push";
}
if (style.equals("help")) {
return getPreferredSize(c);
}
Dimension d = super.getMinimumSize(c);
if (isFixedHeight(c)) {
Dimension p = getPreferredSize(c);
if (d != null && p != null) {
d.height = Math.max(d.height, p.height);
}
}
if (!QuaquaUtilities.isSmallSizeVariant(c)
&& style.equals("push") //
&& b.getIcon() == null
&& b.getText() != null) {
if (d != null) {
d.width = Math.max(d.width, UIManager.getInt("Button.minimumWidth"));
}
}
return d;
}
public VDialog() {
setSize(250, 250);
setUndecorated(true); // remove the window bar
// the following lines of code calculate a random coordinate to position the dialog
Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
int width = (int) screenSize.getWidth();
int height = (int) screenSize.getHeight();
Random rn = new Random();
int xPos = rn.nextInt(width - 250);
int yPos = rn.nextInt(height - 250);
this.setLocation(xPos, yPos);
// set transparent background color
Color c = new Color(0, 0, 0, 0);
setBackground(c);
setDefaultCloseOperation(JDialog.DO_NOTHING_ON_CLOSE);
addKeyListener(new MKeyListener());
// put the image of the cow
try {
this.add(
new JLabel(
new ImageIcon(
ImageIO.read(getClass().getResourceAsStream("/resources/cow_rszd.png")))));
} catch (IOException e) {
e.printStackTrace();
}
pack();
setVisible(true);
}
/**
* Returns the preferred size of the viewport for a view component. For example the preferredSize
* of a JList component is the size required to acommodate all of the cells in its list however
* the value of preferredScrollableViewportSize is the size required for
* JList.getVisibleRowCount() rows. A component without any properties that would effect the
* viewport size should just return getPreferredSize() here.
*
* @return The preferredSize of a JViewport whose view is this Scrollable.
* @see JViewport#getPreferredSize
*/
public Dimension getPreferredScrollableViewportSize() {
Dimension size = getPreferredSize();
Dimension retval = new Dimension();
retval.width = size.width > 600 ? 600 : size.width;
retval.height = size.height > 400 ? 400 : size.height;
return retval;
}
/**
* Calculates the maximum size dimensions for the specified panal given the components in the
* specified parent container.
*/
public Dimension maximumLayoutSize(Container target) {
synchronized (target.getTreeLock()) {
Dimension dim = new Dimension(0, 0);
int size = actions.size();
if ((grip != null) && grip.isVisible()) {
Dimension d = grip.getPreferredSize();
dim.width += d.width;
dim.width += hgap;
}
Component last = null;
for (int i = 0; i < size; i++) {
Component comp = (Component) actions.elementAt(i);
if (comp.isVisible()) {
Dimension d = comp.getPreferredSize();
dim.width += d.width;
dim.height = Math.max(dim.height, d.height);
dim.width += hgap;
last = comp;
}
}
if (last != null) {
Dimension prefSize = last.getPreferredSize();
Dimension maxSize = last.getMaximumSize();
if (prefSize != maxSize) {
dim.width = dim.width - prefSize.width + maxSize.width;
dim.height = Math.max(dim.height, maxSize.height);
}
}
Insets insets = target.getInsets();
dim.width += insets.left + insets.right;
dim.height += insets.top + insets.bottom;
return dim;
}
}
private void checkSizes() {
Dimension vsz = scroll_pane.getViewport().getViewSize();
Dimension csz = draw_area.getSize();
Dimension nsz = new Dimension((int) (vsz.width * x_scale), (int) (vsz.height * y_scale));
boolean chng = false;
if (nsz.width > csz.width) {
if (vsz.width >= csz.width) {
csz.width = vsz.width;
chng = true;
x_scale = 1;
}
} else if (nsz.width < csz.width) {
if (x_scale == 1) {
csz.width = vsz.width;
chng = true;
}
}
if (nsz.height > csz.height) {
if (vsz.height >= csz.height) {
csz.height = vsz.height;
chng = true;
y_scale = 1;
}
} else if (nsz.height < csz.height) {
if (y_scale == 1) {
csz.height = vsz.height;
chng = true;
}
}
if (chng) draw_area.setSize(csz);
}
private void show(int _current) {
OpenDefinitionsDocument doc = _docs.get(_current);
String text = getTextFor(doc);
_label.setText(_displayManager.getName(doc));
_label.setIcon(_displayManager.getIcon(doc));
if (text.length() > 0) {
// as wide as the text area wants, but only 200px high
_textpane.setText(text);
_scroller.setPreferredSize(_textpane.getPreferredScrollableViewportSize());
if (_scroller.getPreferredSize().getHeight() > 200)
_scroller.setPreferredSize(
new Dimension((int) _scroller.getPreferredSize().getWidth(), 200));
_scroller.setVisible(_showSource);
} else _scroller.setVisible(false);
Dimension d = _label.getMinimumSize();
d.setSize(d.getWidth() + _padding * 2, d.getHeight() + _padding * 2);
_label.setPreferredSize(d);
_label.setHorizontalAlignment(SwingConstants.CENTER);
_label.setVerticalAlignment(SwingConstants.CENTER);
pack();
centerH();
}
@Override
public void layoutContainer(final Container parent) {
final int componentCount = parent.getComponentCount();
if (componentCount == 0) return;
final EditorEx history = myHistoryViewer;
final EditorEx editor = componentCount == 2 ? myConsoleEditor : null;
if (editor == null) {
parent.getComponent(0).setBounds(parent.getBounds());
return;
}
final Dimension panelSize = parent.getSize();
if (panelSize.getHeight() <= 0) return;
final Dimension historySize = history.getContentSize();
final Dimension editorSize = editor.getContentSize();
final Dimension newEditorSize = new Dimension();
// deal with width
final int width = Math.max(editorSize.width, historySize.width);
newEditorSize.width = width + editor.getScrollPane().getHorizontalScrollBar().getHeight();
history.getSoftWrapModel().forceAdditionalColumnsUsage();
editor
.getSettings()
.setAdditionalColumnsCount(
2 + (width - editorSize.width) / EditorUtil.getSpaceWidth(Font.PLAIN, editor));
history
.getSettings()
.setAdditionalColumnsCount(
2 + (width - historySize.width) / EditorUtil.getSpaceWidth(Font.PLAIN, history));
// deal with height
if (historySize.width == 0) historySize.height = 0;
final int minHistorySize =
historySize.height > 0
? 2 * history.getLineHeight() + (myShowSeparatorLine ? SEPARATOR_THICKNESS : 0)
: 0;
final int minEditorSize = editor.isViewer() ? 0 : editor.getLineHeight();
final int editorPreferred =
editor.isViewer() ? 0 : Math.max(minEditorSize, editorSize.height);
final int historyPreferred = Math.max(minHistorySize, historySize.height);
if (panelSize.height < minEditorSize) {
newEditorSize.height = panelSize.height;
} else if (panelSize.height < editorPreferred) {
newEditorSize.height = panelSize.height - minHistorySize;
} else if (panelSize.height < editorPreferred + historyPreferred) {
newEditorSize.height = editorPreferred;
} else {
newEditorSize.height = editorPreferred == 0 ? 0 : panelSize.height - historyPreferred;
}
final Dimension newHistorySize =
new Dimension(width, panelSize.height - newEditorSize.height);
// apply
editor
.getComponent()
.setBounds(0, newHistorySize.height, panelSize.width, newEditorSize.height);
myForceScrollToEnd.compareAndSet(false, shouldScrollHistoryToEnd());
history.getComponent().setBounds(0, 0, panelSize.width, newHistorySize.height);
}
/*
* Adjust the width of the scrollpane used by the popup
*/
protected void popupWider(BasicComboPopup popup) {
JList list = popup.getList();
// Determine the maximimum width to use:
// a) determine the popup preferred width
// b) limit width to the maximum if specified
// c) ensure width is not less than the scroll pane width
int popupWidth =
list.getPreferredSize().width
+ 5 // make sure horizontal scrollbar doesn't appear
+ getScrollBarWidth(popup, scrollPane);
if (maximumWidth != -1) {
popupWidth = Math.min(popupWidth, maximumWidth);
}
Dimension scrollPaneSize = scrollPane.getPreferredSize();
popupWidth = Math.max(popupWidth, scrollPaneSize.width);
// Adjust the width
scrollPaneSize.width = popupWidth;
scrollPane.setPreferredSize(scrollPaneSize);
scrollPane.setMaximumSize(scrollPaneSize);
}
private void setHeaderComponent(JComponent c) {
boolean doRevalidate = false;
if (myHeaderComponent != null) {
myHeaderPanel.remove(myHeaderComponent);
myHeaderPanel.add(myCaption, BorderLayout.NORTH);
myHeaderComponent = null;
doRevalidate = true;
}
if (c != null) {
myHeaderPanel.remove(myCaption);
myHeaderPanel.add(c, BorderLayout.NORTH);
myHeaderComponent = c;
final Dimension size = myContent.getSize();
if (size.height < c.getPreferredSize().height * 2) {
size.height += c.getPreferredSize().height;
setSize(size);
}
doRevalidate = true;
}
if (doRevalidate) myContent.revalidate();
}
public void paint(Graphics g) {
MetalBumps usedBumps;
if (splitPane.hasFocus()) {
usedBumps = focusBumps;
g.setColor(primaryControlColor);
} else {
usedBumps = bumps;
g.setColor(controlColor);
}
Rectangle clip = g.getClipBounds();
Insets insets = getInsets();
g.fillRect(clip.x, clip.y, clip.width, clip.height);
Dimension size = getSize();
size.width -= inset * 2;
size.height -= inset * 2;
int drawX = inset;
int drawY = inset;
if (insets != null) {
size.width -= (insets.left + insets.right);
size.height -= (insets.top + insets.bottom);
drawX += insets.left;
drawY += insets.top;
}
usedBumps.setBumpArea(size);
usedBumps.paintIcon(this, g, drawX, drawY);
super.paint(g);
}
public HeaderPanel(String heading) {
super();
this.setLayout(new BoxLayout(this, BoxLayout.X_AXIS));
this.setBackground(background);
JLabel panelLabel = new JLabel(" " + heading, SwingConstants.LEFT);
Font labelFont = new Font("Dialog", Font.BOLD, 18);
panelLabel.setFont(labelFont);
this.add(panelLabel);
this.add(Box.createHorizontalGlue());
refresh = new JButton("Refresh");
refresh.addActionListener(this);
this.add(refresh);
this.add(Box.createHorizontalStrut(5));
root = new JComboBox();
Dimension d = root.getPreferredSize();
d.width = 90;
root.setPreferredSize(d);
root.setMaximumSize(d);
File[] roots = directoryPane.getRoots();
for (int i = 0; i < roots.length; i++) root.addItem(roots[i].getAbsolutePath());
this.add(root);
root.setSelectedIndex(directoryPane.getCurrentRootIndex());
root.addActionListener(this);
this.add(Box.createHorizontalStrut(17));
}
public Dimension requestResize(
final Dimension newSize,
final RequestOrigin origin,
int cursorY,
JediTerminal.ResizeHandler resizeHandler) {
if (!newSize.equals(myTermSize)) {
myTerminalTextBuffer.lock();
try {
myTerminalTextBuffer.resize(newSize, origin, cursorY, resizeHandler, mySelection);
myTermSize = (Dimension) newSize.clone();
final Dimension pixelDimension = new Dimension(getPixelWidth(), getPixelHeight());
setPreferredSize(pixelDimension);
if (myTerminalPanelListener != null) {
myTerminalPanelListener.onPanelResize(pixelDimension, origin);
}
SwingUtilities.invokeLater(
new Runnable() {
@Override
public void run() {
updateScrolling();
}
});
} finally {
myTerminalTextBuffer.unlock();
}
}
return new Dimension(getPixelWidth(), getPixelHeight());
}
public void setImage(BufferedImage image, String format) {
ImageDocument document = imageComponent.getDocument();
BufferedImage previousImage = document.getValue();
document.setValue(image);
if (image == null) return;
document.setFormat(format);
ImageZoomModel zoomModel = getZoomModel();
if (previousImage == null || !zoomModel.isZoomLevelChanged()) {
// Set smart zooming behaviour on open
Options options = OptionsManager.getInstance().getOptions();
ZoomOptions zoomOptions = options.getEditorOptions().getZoomOptions();
// Open as actual size
zoomModel.setZoomFactor(1.0d);
if (zoomOptions.isSmartZooming()) {
Dimension prefferedSize = zoomOptions.getPrefferedSize();
if (prefferedSize.width > image.getWidth() && prefferedSize.height > image.getHeight()) {
// Resize to preffered size
// Calculate zoom factor
double factor =
(prefferedSize.getWidth() / (double) image.getWidth()
+ prefferedSize.getHeight() / (double) image.getHeight())
/ 2.0d;
zoomModel.setZoomFactor(Math.ceil(factor));
}
}
}
}