public MacRenderer() {
renderer = new JLabel();
renderer.setOpaque(Preferences.getBoolean("jeti", "bmw", true));
renderer.setBackground(UIManager.getColor("Tree.selectionBackground"));
renderer.setForeground(UIManager.getColor("Tree.textForeground"));
renderer.setFont(UIManager.getFont("Tree.font"));
}
@Override
public String convertValueToText(
Object value, boolean selected, boolean expanded, boolean leaf, int row, boolean hasFocus) {
String s = super.convertValueToText(value, selected, expanded, leaf, row, hasFocus);
String newProp = jEdit.getProperty(HIGHLIGHT_PROP);
if (newProp == null || newProp.isEmpty()) return s;
DefaultMutableTreeNode node = (DefaultMutableTreeNode) value;
while (node != null && !(node.getUserObject() instanceof HyperSearchOperationNode)) {
node = (DefaultMutableTreeNode) node.getParent();
}
if (node == null) return s;
if (!newProp.equals(prop)) {
prop = newProp;
Font f = (resultTree != null) ? resultTree.getFont() : UIManager.getFont("Tree.font");
styleTag = HtmlUtilities.style2html(prop, f);
}
SearchMatcher matcher = ((HyperSearchOperationNode) node.getUserObject()).getSearchMatcher();
int i = s.indexOf(": ");
if (i > 0) i += 2;
else i = 0;
Match m;
List<Integer> matches = new ArrayList<Integer>();
while ((m = matcher.nextMatch(s.substring(i), true, true, true, false)) != null) {
matches.add(i + m.start);
matches.add(i + m.end);
i += m.end;
}
return HtmlUtilities.highlightString(s, styleTag, matches);
}
@Override
public void actionPerformed(ActionEvent evt) {
Object source = evt.getSource();
if (source == highlight) {
String prop = jEdit.getProperty(HIGHLIGHT_PROP);
Font f = (resultTree != null) ? resultTree.getFont() : UIManager.getFont("Tree.font");
SyntaxStyle style =
new StyleEditor(
jEdit.getActiveView(),
HtmlUtilities.parseHighlightStyle(prop, f),
"hypersearch")
.getStyle();
if (style != null) jEdit.setProperty(HIGHLIGHT_PROP, GUIUtilities.getStyleString(style));
updateHighlightStatus();
} else if (source == clear) {
removeAllNodes();
} else if (source == multi) {
multiStatus = !multiStatus;
updateMultiStatus();
if (!multiStatus) {
for (int i = resultTreeRoot.getChildCount() - 2; i >= 0; i--) {
resultTreeModel.removeNodeFromParent((MutableTreeNode) resultTreeRoot.getChildAt(i));
}
}
} else if (source == stop) {
jEdit.setTemporaryProperty("hyperSearch-stopButton", "true");
}
}
HighlightingTree(DefaultTreeModel model) {
super(model);
prop = jEdit.getProperty(HIGHLIGHT_PROP);
if (prop != null && !prop.isEmpty()) {
Font f = (resultTree != null) ? resultTree.getFont() : UIManager.getFont("Tree.font");
styleTag = HtmlUtilities.style2html(prop, f);
}
}
public MultiLabel(String str, int horizontalAlignment, int textAlignment, int verticalAlignment) {
this.setForeground(UIManager.getColor("Label.foreground"));
this.setBackground(UIManager.getColor("Label.background"));
this.setFont(UIManager.getFont("Label.font"));
setText(str);
this.horizontalAlignment = horizontalAlignment;
this.textAlignment = textAlignment;
this.verticalAlignment = verticalAlignment;
}
// {{{ parseHighlightStyle()
SyntaxStyle parseHighlightStyle(String style) {
Font f = (resultTree != null) ? resultTree.getFont() : UIManager.getFont("Tree.font");
SyntaxStyle s;
try {
s = SyntaxUtilities.parseStyle(style, f.getFamily(), f.getSize(), true, null);
} catch (Exception e) {
style = "color:#000000";
s = SyntaxUtilities.parseStyle(style, f.getFamily(), f.getSize(), true);
}
return s;
} // }}}
protected void installDefaults() {
Color defaultGridColor = UIManager.getColor("Table.gridColor");
Color defaultForegroundColor = UIManager.getColor("Table.foreground");
Color defaultBackgroundColor = UIManager.getColor("Table.background");
Border defaultBorder = UIManager.getBorder("Table.scrollPaneBorder");
Color defaultSelectionForeground = UIManager.getColor("Table.selectionForeground");
Color defaultSelectionBackground = UIManager.getColor("Table.selectionBackground");
Color defaultFocusCellForeground = UIManager.getColor("Table.focusCellForeground");
Color defaultFocusCellBackground = new Color(153, 153, 204);
Font defaultFont = UIManager.getFont("Table.font");
Border defaultGridBorder = UIManager.getBorder("Table.border");
InputMap inputMap = (InputMap) UIManager.get("Table.ancestorInputMap");
if (!installed) {
UIManager.getDefaults().put("Grid.gridColor", defaultGridColor);
UIManager.getDefaults().put("Grid.foreground", defaultForegroundColor);
UIManager.getDefaults().put("Grid.background", defaultBackgroundColor);
UIManager.getDefaults().put("Grid.selectionForegroundColor", defaultSelectionForeground);
UIManager.getDefaults().put("Grid.selectionBackgroundColor", defaultSelectionBackground);
UIManager.getDefaults().put("Grid.focusForegroundColor", defaultFocusCellForeground);
UIManager.getDefaults().put("Grid.focusBackgroundColor", defaultFocusCellBackground);
UIManager.getDefaults().put("Grid.border", defaultGridBorder);
UIManager.getDefaults().put("Grid.font", defaultFont);
UIManager.getDefaults().put("Grid.scrollPaneBorder", defaultBorder);
UIManager.getDefaults().put("Grid.ancestorInputMap", inputMap);
installed = true;
}
Color foregroundColor = grid.getForeground();
Color backgroundColor = grid.getBackground();
Font font = grid.getFont();
Border border = grid.getBorder();
Color gridColor = grid.getGridColor();
Color selectionForeground = grid.getSelectionForegroundColor();
Color selectionBackground = grid.getSelectionBackgroundColor();
Color focusForeground = grid.getFocusForegroundColor();
Color focusBackground = grid.getFocusBackgroundColor();
if (foregroundColor == null || foregroundColor instanceof UIResource)
grid.setForeground(defaultForegroundColor);
if (backgroundColor == null || backgroundColor instanceof UIResource)
grid.setBackground(defaultBackgroundColor);
if (font == null || font instanceof UIResource) grid.setFont(defaultFont);
if (gridColor == null || gridColor instanceof UIResource) grid.setGridColor(defaultGridColor);
if (border == null || border instanceof UIResource) grid.setBorder(defaultGridBorder);
if (selectionForeground == null || selectionForeground instanceof UIResource)
grid.setSelectionForegroundColor(defaultSelectionForeground);
if (selectionBackground == null || selectionBackground instanceof UIResource)
grid.setSelectionBackgroundColor(defaultSelectionBackground);
if (focusForeground == null || focusForeground instanceof UIResource)
grid.setFocusForegroundColor(defaultFocusCellForeground);
if (focusBackground == null || focusBackground instanceof UIResource)
grid.setFocusBackgroundColor(defaultFocusCellBackground);
}
AboutPanel() {
setFont(UIManager.getFont("Label.font"));
fm = getFontMetrics(getFont());
setForeground(new Color(96, 96, 96));
image = new ImageIcon(getClass().getResource("/org/gjt/sp/jedit/icons/about.png"));
setBorder(new MatteBorder(1, 1, 1, 1, Color.gray));
text = new Vector(50);
StringTokenizer st = new StringTokenizer(jEdit.getProperty("about.text"), "\n");
while (st.hasMoreTokens()) {
String line = st.nextToken();
text.addElement(line);
maxWidth = Math.max(maxWidth, fm.stringWidth(line) + 10);
}
scrollPosition = -250;
thread = new AnimationThread();
}
ParentDirectoryRenderer() {
plainFont = UIManager.getFont("Tree.font");
if (plainFont == null) plainFont = jEdit.getFontProperty("metal.secondary.font");
boldFont = new Font(plainFont.getName(), Font.BOLD, plainFont.getSize());
}
/** Creates new instance. */
public ODGDrawingPanel() {
ResourceBundleUtil labels = ResourceBundleUtil.getBundle("org.jhotdraw.draw.Labels");
initComponents();
undoManager = new UndoRedoManager();
editor = new DefaultDrawingEditor();
editor.add(view);
addCreationButtonsTo(creationToolbar, editor);
ButtonFactory.addAttributesButtonsTo(attributesToolbar, editor);
JPopupButton pb = new JPopupButton();
pb.setItemFont(UIManager.getFont("MenuItem.font"));
labels.configureToolBarButton(pb, "actions");
pb.add(new DuplicateAction());
pb.addSeparator();
pb.add(new GroupAction(editor));
pb.add(new UngroupAction(editor));
pb.addSeparator();
pb.add(new BringToFrontAction(editor));
pb.add(new SendToBackAction(editor));
pb.addSeparator();
pb.add(new CutAction());
pb.add(new CopyAction());
pb.add(new PasteAction());
pb.add(new SelectAllAction());
pb.add(new SelectSameAction(editor));
pb.addSeparator();
pb.add(undoManager.getUndoAction());
pb.add(undoManager.getRedoAction());
// FIXME - We need a toggle grid action
// pb.addSeparator();
// pb.add(new ToggleGridAction(editor));
JMenu m = new JMenu(labels.getString("view.zoomFactor.text"));
JRadioButtonMenuItem rbmi;
ButtonGroup group = new ButtonGroup();
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 0.1, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 0.25, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 0.5, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 0.75, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 1.0, null)));
rbmi.setSelected(true);
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 1.25, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 1.5, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 2, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 3, null)));
group.add(rbmi);
m.add(rbmi = new JRadioButtonMenuItem(new ZoomAction(editor, 4, null)));
group.add(rbmi);
pb.add(m);
pb.setFocusable(false);
creationToolbar.addSeparator();
creationToolbar.add(pb);
DefaultDrawing drawing = new DefaultDrawing();
view.setDrawing(drawing);
drawing.addUndoableEditListener(undoManager);
}