public int getTitleHeight(Component c) {
int th = 21;
int fh = getBorderInsets(c).top + getBorderInsets(c).bottom;
if (c instanceof JDialog) {
JDialog dialog = (JDialog) c;
th = dialog.getSize().height - dialog.getContentPane().getSize().height - fh - 1;
if (dialog.getJMenuBar() != null) {
th -= dialog.getJMenuBar().getSize().height;
}
} else if (c instanceof JInternalFrame) {
JInternalFrame frame = (JInternalFrame) c;
th = frame.getSize().height - frame.getRootPane().getSize().height - fh - 1;
if (frame.getJMenuBar() != null) {
th -= frame.getJMenuBar().getSize().height;
}
} else if (c instanceof JRootPane) {
JRootPane jp = (JRootPane) c;
if (jp.getParent() instanceof JFrame) {
JFrame frame = (JFrame) c.getParent();
th = frame.getSize().height - frame.getContentPane().getSize().height - fh - 1;
if (frame.getJMenuBar() != null) {
th -= frame.getJMenuBar().getSize().height;
}
} else if (jp.getParent() instanceof JDialog) {
JDialog dialog = (JDialog) c.getParent();
th = dialog.getSize().height - dialog.getContentPane().getSize().height - fh - 1;
if (dialog.getJMenuBar() != null) {
th -= dialog.getJMenuBar().getSize().height;
}
}
}
return th;
}
@Override
protected void addImpl(final Component comp, Object constraints, int index) {
super.addImpl(comp, constraints, index);
comp.addMouseMotionListener(
new MouseAdapter() {
@Override
public void mouseMoved(MouseEvent e) {
lastScreen =
componentToImage(comp, new Rectangle(0, 0, comp.getWidth(), comp.getHeight()));
}
});
comp.addMouseListener(
new MouseAdapter() {
@Override
public void mouseClicked(MouseEvent e) {
setBorder(new ResizableBorder(6));
}
@Override
public void mousePressed(MouseEvent e) {
mouse = true;
}
@Override
public void mouseReleased(MouseEvent e) {
mouse = false;
}
});
}
private Insets getButtonInsets(SynthContext context, Insets insets) {
// The following calculations are derived from gtkbutton.c
// (GTK+ version 2.8.20), gtk_button_size_allocate() method.
int CHILD_SPACING = 1;
int focusSize = getClassSpecificIntValue(context, "focus-line-width", 1);
int focusPad = getClassSpecificIntValue(context, "focus-padding", 1);
int xThickness = getXThickness();
int yThickness = getYThickness();
int w = focusSize + focusPad + xThickness + CHILD_SPACING;
int h = focusSize + focusPad + yThickness + CHILD_SPACING;
insets.left = insets.right = w;
insets.top = insets.bottom = h;
Component component = context.getComponent();
if ((component instanceof JButton)
&& !(component.getParent() instanceof JToolBar)
&& ((JButton) component).isDefaultCapable()) {
// Include the default border insets, but only for JButtons
// that are default capable. Note that
// JButton.getDefaultCapable() returns true by default, but
// GtkToolButtons are never default capable, so we skip this
// step if the button is contained in a toolbar.
Insets defaultInsets =
getClassSpecificInsetsValue(context, "default-border", BUTTON_DEFAULT_BORDER_INSETS);
insets.left += defaultInsets.left;
insets.right += defaultInsets.right;
insets.top += defaultInsets.top;
insets.bottom += defaultInsets.bottom;
}
return insets;
}
public void actionPerformed(ActionEvent e) {
KeyboardFocusManager kfm = KeyboardFocusManager.getCurrentKeyboardFocusManager();
Container container = kfm.getCurrentFocusCycleRoot();
FocusTraversalPolicy policy = container.getFocusTraversalPolicy();
if (null == policy) policy = kfm.getDefaultFocusTraversalPolicy();
Component next =
moveDown
? policy.getComponentAfter(container, PaletteGroupHeader.this)
: policy.getComponentBefore(container, PaletteGroupHeader.this);
if (null != next && next instanceof PaletteComponentList) {
final PaletteComponentList list = (PaletteComponentList) next;
if (list.getModel().getSize() != 0) {
list.takeFocusFrom(PaletteGroupHeader.this, list == myComponentList ? 0 : -1);
return;
} else {
next =
moveDown
? policy.getComponentAfter(container, next)
: policy.getComponentBefore(container, next);
}
}
if (null != next && next instanceof PaletteGroupHeader) {
next.requestFocus();
}
}
public void acceptMinimumSize(Component c) {
Dimension minimumSize = getMinimumSize(c);
c.setMinimumSize(
new Dimension(
Math.max(minimumSize.width, c.getMinimumSize().width),
Math.max(minimumSize.height, c.getMinimumSize().height)));
}
private static void drawSelection(JTable table, int column, Graphics g, final int width) {
int y = 0;
final int[] rows = table.getSelectedRows();
final int height = table.getRowHeight();
for (int row : rows) {
final TableCellRenderer renderer = table.getCellRenderer(row, column);
final Component component =
renderer.getTableCellRendererComponent(
table, table.getValueAt(row, column), false, false, row, column);
g.translate(0, y);
component.setBounds(0, 0, width, height);
boolean wasOpaque = false;
if (component instanceof JComponent) {
final JComponent j = (JComponent) component;
if (j.isOpaque()) wasOpaque = true;
j.setOpaque(false);
}
component.paint(g);
if (wasOpaque) {
((JComponent) component).setOpaque(true);
}
y += height;
g.translate(0, -y);
}
}
public void layoutContainer(Container parent) {
Dimension size = parent.getSize();
Insets insets = parent.getInsets();
int itop = insets.top;
int ileft = insets.left;
int ibottom = insets.bottom;
int iright = insets.right;
int rightWidth = right.getPreferredSize().width;
int bottomHeight = bottom.getPreferredSize().height;
int centerWidth = size.width - rightWidth - ileft - iright;
int centerHeight = size.height - bottomHeight - itop - ibottom;
center.setBounds(ileft, itop, centerWidth, centerHeight);
right.setBounds(ileft + centerWidth, itop, rightWidth, centerHeight);
// Lay out all status components, in order
Enumeration status = leftOfScrollBar.elements();
while (status.hasMoreElements()) {
Component comp = (Component) status.nextElement();
Dimension dim = comp.getPreferredSize();
comp.setBounds(ileft, itop + centerHeight, dim.width, bottomHeight);
ileft += dim.width;
}
bottom.setBounds(
ileft, itop + centerHeight, size.width - rightWidth - ileft - iright, bottomHeight);
}
/**
* method to negotiate draganddrop when mouse is pressed
*
* @param e
*/
public void mousePressed(MouseEvent e) {
/** Set up click point and set ActivePanel */
Point p = e.getPoint();
System.out.println(p);
if (!setActivePanel(p)) return;
/** record where the initial click occurred */
OriP = activePanel;
/** Check whether click was over an image label */
selectedComponent = getImageLabel(p);
if (selectedComponent == null) return;
/** Check whether click was over waste box */
if (selectedComponent.getName().equals("WasteBox")) return;
/**
* remove selected component from active panel add it to the glass panel set the offset and
* original position
*/
Rectangle labelR = selectedComponent.getBounds();
Rectangle panelR = activePanel.getBounds();
// if(labelR.contains(p.x - panelR.x, p.y - panelR.y))
// {
activePanel.remove(selectedComponent);
selected = true;
glassPanel.add(selectedComponent);
offset.x = p.x - labelR.x - panelR.x;
offset.y = p.y - labelR.y - panelR.y;
dragging = true;
Original = labelR.getLocation();
// }
}
public Component getTableCellRendererComponent(
JTable table, Object value, boolean isSelected, boolean hasFocus, int row, int column) {
final Color color = UIUtil.getTableFocusCellBackground();
Component component;
T t = (T) value;
try {
UIManager.put(UIUtil.TABLE_FOCUS_CELL_BACKGROUND_PROPERTY, table.getSelectionBackground());
component =
super.getTableCellRendererComponent(table, value, isSelected, hasFocus, row, column);
setText(t != null ? getItemText(t) : "");
if (component instanceof JLabel) {
((JLabel) component).setBorder(noFocusBorder);
}
} finally {
UIManager.put(UIUtil.TABLE_FOCUS_CELL_BACKGROUND_PROPERTY, color);
}
final MyTableModel model = (MyTableModel) table.getModel();
component.setEnabled(
ElementsChooser.this.isEnabled()
&& (myColorUnmarkedElements ? model.isElementMarked(row) : true));
final ElementProperties properties = myElementToPropertiesMap.get(t);
if (component instanceof JLabel) {
final Icon icon =
properties != null ? properties.getIcon() : t != null ? getItemIcon(t) : null;
JLabel label = (JLabel) component;
label.setIcon(icon);
label.setDisabledIcon(icon);
}
component.setForeground(
properties != null && properties.getColor() != null
? properties.getColor()
: (isSelected ? table.getSelectionForeground() : table.getForeground()));
return component;
}
@Override
public int getRowHeight() {
if (myRowHeightIsComputing) {
return super.getRowHeight();
}
if (myRowHeight < 0) {
try {
myRowHeightIsComputing = true;
for (int row = 0; row < getRowCount(); row++) {
for (int column = 0; column < getColumnCount(); column++) {
final TableCellRenderer renderer = getCellRenderer(row, column);
if (renderer != null) {
final Object value = getValueAt(row, column);
final Component component =
renderer.getTableCellRendererComponent(this, value, true, true, row, column);
if (component != null) {
final Dimension size = component.getPreferredSize();
myRowHeight = Math.max(size.height, myRowHeight);
}
}
}
}
} finally {
myRowHeightIsComputing = false;
}
}
if (myMinRowHeight == null) {
myMinRowHeight = getFontMetrics(UIManager.getFont("Label.font")).getHeight();
}
return Math.max(myRowHeight, myMinRowHeight);
}
public SimpleTextAttributes applyHighlighters(
@NotNull Component rendererComponent,
int row,
int column,
String text,
boolean hasFocus,
final boolean selected) {
VcsLogHighlighter.VcsCommitStyle style = getStyle(row, column, text, hasFocus, selected);
assert style.getBackground() != null
&& style.getForeground() != null
&& style.getTextStyle() != null;
rendererComponent.setBackground(style.getBackground());
rendererComponent.setForeground(style.getForeground());
switch (style.getTextStyle()) {
case BOLD:
return SimpleTextAttributes.REGULAR_BOLD_ATTRIBUTES;
case ITALIC:
return SimpleTextAttributes.REGULAR_ITALIC_ATTRIBUTES;
default:
}
return SimpleTextAttributes.REGULAR_ATTRIBUTES;
}
public Component getTableCellRendererComponent(
JTable aTable,
Object aNumberValue,
boolean aIsSelected,
boolean aHasFocus,
int aRow,
int aColumn) {
/*
* Implementation Note :
* It is important that no "new" be present in this
* implementation (excluding exceptions):
* if the table is large, then a large number of objects would be
* created during rendering.
*/
if (aNumberValue == null) return this;
Component renderer =
super.getTableCellRendererComponent(
aTable, aNumberValue, aIsSelected, aHasFocus, aRow, aColumn);
Number value = (Number) aNumberValue;
if (value.doubleValue() < 0) {
renderer.setForeground(Color.red);
} else {
renderer.setForeground(fDarkGreen);
}
return this;
}
public void componentMoved(ComponentEvent evt) {
Component component = evt.getComponent();
Point point = component.getLocation();
if (point.y < 0) {
component.setBounds(point.x, 0, component.getWidth(), component.getHeight());
}
}
public void
setColumnWidths() { // See
// "http://java.sun.com/docs/books/tutorial/uiswing/components/table.html#custom"
int n = getModel().getColumnCount();
for (int j = 0; j < n; ++j) {
TableColumn column = getColumnModel().getColumn(j);
TableCellRenderer headerRenderer = column.getHeaderRenderer();
if (headerRenderer == null)
headerRenderer = getTableHeader().getDefaultRenderer(); // the new 1.3 way
Component columnComponent =
headerRenderer.getTableCellRendererComponent(
this, column.getHeaderValue(), false, false, -1, j);
Component cellComponent =
getDefaultRenderer(getColumnClass(j))
.getTableCellRendererComponent(this, getModel().getValueAt(0, j), false, false, 0, j);
int wantWidth =
Math.max(
columnComponent.getPreferredSize().width
+ 10, // fudge factor ... seems to always be too small otherwise (on x86 Linux)
cellComponent.getPreferredSize().width
+ 10 // fudge factor ... seems to always be too small otherwise (on Mac OS X)
);
column.setPreferredWidth(wantWidth);
}
}
public static void hidePopups(Component comp) {
if (comp != null) {
label0:
for (Component c = comp; c != null; c = c.getParent()) {
if (!(c instanceof ZPopupGallery)) continue;
do {
if (currShownList.size() <= 0) continue label0;
if (currShownList.getLast() == c) return;
ZPopupGallery jpg = (ZPopupGallery) currShownList.removeLast();
Popup popup = (Popup) popupGalleryHM.get(jpg);
popup.hide();
popupGalleryHM.remove(jpg);
} while (true);
}
}
Iterator iterator = popupGalleryHM.keySet().iterator();
do {
if (!iterator.hasNext()) break;
ZPopupGallery gallery = (ZPopupGallery) iterator.next();
((Popup) popupGalleryHM.get(gallery)).hide();
if (gallery.getActionListener() != null)
gallery.getActionListener().actionPerformed(new ActionEvent(gallery, 1, "Hidden"));
} while (true);
popupGalleryHM.clear();
}
// This method from http://www.exampledepot.com/egs/javax.swing.table/PackCol.html
public int packColumn(JTable table, int vColIndex, int margin) {
DefaultTableColumnModel colModel = (DefaultTableColumnModel) table.getColumnModel();
TableColumn col = colModel.getColumn(vColIndex);
int width = 0;
// Get width of column header
TableCellRenderer renderer = col.getHeaderRenderer();
if (renderer == null) {
renderer = table.getTableHeader().getDefaultRenderer();
}
Component comp =
renderer.getTableCellRendererComponent(table, col.getHeaderValue(), false, false, 0, 0);
width = comp.getPreferredSize().width;
// Get maximum width of column data
for (int r = 0; r < table.getRowCount(); r++) {
renderer = table.getCellRenderer(r, vColIndex);
comp =
renderer.getTableCellRendererComponent(
table, table.getValueAt(r, vColIndex), false, false, r, vColIndex);
width = Math.max(width, comp.getPreferredSize().width);
}
// Add margin
width += 2 * margin;
// Set the width
col.setPreferredWidth(width);
return width;
}
@SuppressWarnings({"HardCodedStringLiteral"})
private Element writePanel(final JPanel panel) {
final Component comp = panel.getComponent(0);
if (comp instanceof Splitter) {
final Splitter splitter = (Splitter) comp;
final Element res = new Element("splitter");
res.setAttribute("split-orientation", splitter.getOrientation() ? "vertical" : "horizontal");
res.setAttribute("split-proportion", Float.toString(splitter.getProportion()));
final Element first = new Element("split-first");
first.addContent(writePanel((JPanel) splitter.getFirstComponent()));
final Element second = new Element("split-second");
second.addContent(writePanel((JPanel) splitter.getSecondComponent()));
res.addContent(first);
res.addContent(second);
return res;
} else if (comp instanceof JBTabs) {
final Element res = new Element("leaf");
final EditorWindow window = findWindowWith(comp);
writeWindow(res, window);
return res;
} else if (comp instanceof EditorWindow.TCompForTablessMode) {
final EditorWithProviderComposite composite =
((EditorWindow.TCompForTablessMode) comp).myEditor;
final Element res = new Element("leaf");
writeComposite(res, composite.getFile(), composite, false, composite);
return res;
} else {
LOG.error(comp != null ? comp.getClass().getName() : null);
return null;
}
}
@Override
public void keyPressed(KeyEvent evt) {
if (evt.isConsumed()) return;
Component comp = getFocusOwner();
if (evt.getKeyCode() == KeyEvent.VK_ENTER && enterEnabled) {
while (comp != null) {
if (comp instanceof JComboBox) {
JComboBox<?> combo = (JComboBox<?>) comp;
if (combo.isEditable()) {
Object selected = combo.getEditor().getItem();
if (selected != null) combo.setSelectedItem(selected);
}
if (combo.isPopupVisible()) {
evt.consume();
combo.setPopupVisible(false);
}
return;
}
// TODO: add other classes that need custom key handling here.
comp = comp.getParent();
}
evt.consume();
ok();
} else if (evt.getKeyCode() == KeyEvent.VK_ESCAPE || isCloseBufferShortcut(evt)) {
evt.consume();
if (comp instanceof JComboBox) {
JComboBox<?> combo = (JComboBox<?>) comp;
if (combo.isPopupVisible()) combo.setPopupVisible(false);
else cancel();
} else cancel();
}
}
private static void drawSelection(JTree tree, Graphics g, final int width) {
int y = 0;
final int[] rows = tree.getSelectionRows();
final int height = tree.getRowHeight();
for (int row : rows) {
final TreeCellRenderer renderer = tree.getCellRenderer();
final Object value = tree.getPathForRow(row).getLastPathComponent();
if (value == null) continue;
final Component component =
renderer.getTreeCellRendererComponent(tree, value, false, false, false, row, false);
if (component.getFont() == null) {
component.setFont(tree.getFont());
}
g.translate(0, y);
component.setBounds(0, 0, width, height);
boolean wasOpaque = false;
if (component instanceof JComponent) {
final JComponent j = (JComponent) component;
if (j.isOpaque()) wasOpaque = true;
j.setOpaque(false);
}
component.paint(g);
if (wasOpaque) {
((JComponent) component).setOpaque(true);
}
y += height;
g.translate(0, -y);
}
}
public boolean editCellAt(int index, EventObject e) {
if (editor != null && !editor.stopCellEditing()) return false;
if (index < 0 || index >= getModel().getSize()) return false;
if (!isCellEditable(index)) return false;
if (editorRemover == null) {
KeyboardFocusManager fm = KeyboardFocusManager.getCurrentKeyboardFocusManager();
editorRemover = new CellEditorRemover(fm);
fm.addPropertyChangeListener("permanentFocusOwner", editorRemover); // NOI18N
}
if (editor != null && editor.isCellEditable(e)) {
editorComp = prepareEditor(index);
if (editorComp == null) {
removeEditor();
return false;
}
editorComp.setBounds(getCellBounds(index, index));
add(editorComp);
editorComp.validate();
editingIndex = index;
editor.addCellEditorListener(this);
return true;
}
return false;
}
public static void bumpUpFontSize(Component widget, int bumps) {
if (!UserPreferences.readLocalePref()
.equals("ko")) { // HACK!!! refector with variable localeSupportsBold
Font f = widget.getFont();
widget.setFont(new Font(f.getFamily(), f.getStyle(), f.getSize() + bumps));
}
}
private void disposeAndUpdate(boolean update) {
if (myView != null) {
boolean visible = myView.isVisible();
myView.setVisible(false);
Container container = myContent.getParent();
if (container != null) {
container.remove(myContent);
}
if (myView instanceof Window) {
myViewBounds = myView.getBounds();
Window window = (Window) myView;
if (!push(UIUtil.getWindow(myOwner), window)) {
window.dispose();
}
} else {
Container parent = myView.getParent();
if (parent == null) {
myViewBounds = new Rectangle(myContent.getPreferredSize());
} else {
myViewBounds = new Rectangle(myView.getBounds());
parent.remove(myView);
Point point = new Point(myViewBounds.x, myViewBounds.y);
SwingUtilities.convertPointToScreen(point, parent);
myViewBounds.x = point.x;
myViewBounds.y = point.y;
}
}
myView = null;
if (update && visible) {
setVisible(true);
}
}
}
/**
* Changes the frame's location to a more central screen location
*
* @param frame the frame to be moved
* @param X how far right to move the frame
* @param Y how far down to move the frame
*/
public static void changeFrameLocation(Component frame, int X, int Y) {
Point location = frame.getLocation(); // the window's current location
// move the window over and down a certain amount of pixels
location.translate(X, Y);
// set the location
frame.setLocation(location);
}
/**
* Calculates the preferred size dimensions for the specified panal given the components in the
* specified parent container.
*/
public Dimension preferredLayoutSize(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;
}
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;
}
}
Insets insets = target.getInsets();
dim.width += insets.left + insets.right;
dim.height += insets.top + insets.bottom;
return dim;
}
}
public void enableControlPanel() {
boolean bVisible = false;
int nmembers = buttonPane.getComponentCount();
for (int k = 0; k < nmembers; k++) {
Component comp = buttonPane.getComponent(k);
if (comp != null) {
if (comp.isVisible() || comp.isEnabled()) {
bVisible = true;
break;
}
}
}
if (bVisible && !buttonPane.isVisible()) {
Dimension dim = getSize();
Dimension dim1 = buttonPane.getPreferredSize();
int w = dim.width;
int h = dim.height + dim1.height;
if (dim1.width > w) w = dim1.width;
if (w < 300) w = 300;
if (h < 200) h = 200;
setSize(w, h);
}
buttonPane.setVisible(bVisible);
}
private boolean is(boolean first) {
Container parent = getParent();
if (parent == null) return false;
int max = first ? Integer.MAX_VALUE : 0;
ToolWindowAnchor anchor = getAnchor();
Component c = null;
int count = parent.getComponentCount();
for (int i = 0; i < count; i++) {
Component component = parent.getComponent(i);
if (!component.isVisible()) continue;
Rectangle r = component.getBounds();
if (anchor == ToolWindowAnchor.LEFT || anchor == ToolWindowAnchor.RIGHT) {
if (first && (max > r.y) || (!first && max < r.y)) {
max = r.y;
c = component;
}
} else {
if (first && (max > r.x) || (!first && max < r.x)) {
max = r.x;
c = component;
}
}
}
return c == this;
}
public void actionPerformed(ActionEvent e) {
int selIndexBefore = getSelectedIndex();
myDefaultAction.actionPerformed(e);
int selIndexCurrent = getSelectedIndex();
if (selIndexBefore != selIndexCurrent) {
return;
}
if (myFocusNext && selIndexCurrent == 0) {
return;
}
KeyboardFocusManager kfm = KeyboardFocusManager.getCurrentKeyboardFocusManager();
Container container = kfm.getCurrentFocusCycleRoot();
FocusTraversalPolicy policy = container.getFocusTraversalPolicy();
if (policy == null) {
policy = kfm.getDefaultFocusTraversalPolicy();
}
Component next =
myFocusNext
? policy.getComponentAfter(container, PaletteItemsComponent.this)
: policy.getComponentBefore(container, PaletteItemsComponent.this);
if (next instanceof PaletteGroupComponent) {
clearSelection();
next.requestFocus();
((PaletteGroupComponent) next).scrollRectToVisible(next.getBounds());
}
}
private int getHeaderHeight() {
if ((header == null) || (header.getTable() == null)) {
return 0;
}
int height = 0;
boolean accomodatedDefault = false;
TableColumnModel columnModel = header.getColumnModel();
for (int column = 0; column < columnModel.getColumnCount(); column++) {
TableColumn aColumn = columnModel.getColumn(column);
boolean isDefault = (aColumn.getHeaderRenderer() == null);
if (!isDefault || !accomodatedDefault) {
Component comp = getHeaderRenderer(column);
int rendererHeight = comp.getPreferredSize().height;
height = Math.max(height, rendererHeight);
// Configuring the header renderer to calculate its preferred size
// is expensive. Optimise this by assuming the default renderer
// always has the same height as the first non-zero height that
// it returns for a non-null/non-empty value.
if (isDefault && rendererHeight > 0) {
Object headerValue = aColumn.getHeaderValue();
if (headerValue != null) {
headerValue = headerValue.toString();
if (headerValue != null && !headerValue.equals("")) {
accomodatedDefault = true;
}
}
}
}
}
return height + 2;
}
public Component getTableCellRendererComponent(
JTable table, Object value, boolean isSelected, boolean hasFocus, int row, int column) {
final Color color = UIUtil.getTableFocusCellBackground();
Component component;
final Module module = value instanceof Module ? (Module) value : null;
try {
UIManager.put(UIUtil.TABLE_FOCUS_CELL_BACKGROUND_PROPERTY, table.getSelectionBackground());
component =
super.getTableCellRendererComponent(table, value, isSelected, hasFocus, row, column);
if (module != null) {
setText(
module.getName()
+ " ("
+ FileUtil.toSystemDependentName(module.getModuleFilePath())
+ ")");
}
if (component instanceof JLabel) {
((JLabel) component).setBorder(noFocusBorder);
}
} finally {
UIManager.put(UIUtil.TABLE_FOCUS_CELL_BACKGROUND_PROPERTY, color);
}
component.setEnabled(ProcessedModulesTable.this.isEnabled());
if (component instanceof JLabel) {
final Icon icon = module != null ? ModuleType.get(module).getIcon() : null;
JLabel label = (JLabel) component;
label.setIcon(icon);
label.setDisabledIcon(icon);
}
component.setForeground(isSelected ? table.getSelectionForeground() : table.getForeground());
return component;
}
@Override
public Insets getBorderInsets(final Component c) {
if (myProject == null) return new Insets(0, 0, 0, 0);
ToolWindowManager toolWindowManager = ToolWindowManager.getInstance(myProject);
if (!(toolWindowManager instanceof ToolWindowManagerImpl)
|| !((ToolWindowManagerImpl) toolWindowManager).isToolWindowRegistered(myInfo.getId())
|| myWindow.getType() == ToolWindowType.FLOATING) {
return new Insets(0, 0, 0, 0);
}
ToolWindowAnchor anchor = myWindow.getAnchor();
Component component = myWindow.getComponent();
Container parent = component.getParent();
while (parent != null) {
if (parent instanceof Splitter) {
Splitter splitter = (Splitter) parent;
boolean isFirst = splitter.getFirstComponent() == component;
boolean isVertical = splitter.isVertical();
return new Insets(
0,
anchor == ToolWindowAnchor.RIGHT || (!isVertical && !isFirst) ? 1 : 0,
(isVertical && isFirst) ? 1 : 0,
anchor == ToolWindowAnchor.LEFT || (!isVertical && isFirst) ? 1 : 0);
}
component = parent;
parent = component.getParent();
}
return new Insets(
0,
anchor == ToolWindowAnchor.RIGHT ? 1 : 0,
anchor == ToolWindowAnchor.TOP ? 1 : 0,
anchor == ToolWindowAnchor.LEFT ? 1 : 0);
}