protected void installDefaults(JFileChooser fc) {
installIcons(fc);
installStrings(fc);
usesSingleFilePane = UIManager.getBoolean("FileChooser.usesSingleFilePane");
readOnly = UIManager.getBoolean("FileChooser.readOnly");
TransferHandler th = fc.getTransferHandler();
if (th == null || th instanceof UIResource) {
fc.setTransferHandler(defaultTransferHandler);
}
LookAndFeel.installProperty(fc, "opaque", Boolean.FALSE);
}
public static void createAndShowGUI() {
try {
UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
} catch (ClassNotFoundException
| InstantiationException
| IllegalAccessException
| UnsupportedLookAndFeelException ex) {
ex.printStackTrace();
}
JFrame frame = new JFrame("@title@");
frame.setDefaultCloseOperation(WindowConstants.EXIT_ON_CLOSE);
frame.getContentPane().add(new MainPanel());
frame.pack();
frame.setLocationRelativeTo(null);
frame.setVisible(true);
}
@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);
}
}
// {{{ 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;
} // }}}
public static void createAndShowGUI() {
// Make sure we have nice window decorations.
try {
UIManager.setLookAndFeel("com.sun.java.swing.plaf.windows.WindowsLookAndFeel");
} catch (Exception e) {
JFrame.setDefaultLookAndFeelDecorated(true);
}
// JFrame.setDefaultLookAndFeelDecorated(true);
// Create and set up the window.
DnDTestWindow frame = new DnDTestWindow();
// Display the window.
frame.setVisible(true);
}
@Override
public void paintIcon(Component c, Graphics g, int x, int y) {
Graphics2D g2 = (Graphics2D) g.create();
g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
g2.translate(x, y);
g2.setStroke(new BasicStroke(BORDER_WIDTH));
g2.setPaint(LINE_COLOR);
g2.draw(BORDER);
g2.setStroke(new BasicStroke(SLIT_WIDTH));
g2.setColor(UIManager.getColor("Panel.background"));
int n = SLIT_NUM + 1;
int v = ICON_SIZE / n;
int m = n * v;
for (int i = 1; i < n; i++) {
int a = i * v;
g2.drawLine(a, 0, a, m);
g2.drawLine(0, a, m, a);
}
// g2.drawLine(1 * v, 0 * v, 1 * v, 4 * v);
// g2.drawLine(2 * v, 0 * v, 2 * v, 4 * v);
// g2.drawLine(3 * v, 0 * v, 3 * v, 4 * v);
// g2.drawLine(0 * v, 1 * v, 4 * v, 1 * v);
// g2.drawLine(0 * v, 2 * v, 4 * v, 2 * v);
// g2.drawLine(0 * v, 3 * v, 4 * v, 3 * v);
g2.setPaint(LINE_COLOR);
Rectangle2D b = ARROW.getBounds();
Point2D p = new Point2D.Double(b.getX() + b.getWidth() / 2d, b.getY() + b.getHeight() / 2d);
AffineTransform toCenterAT =
AffineTransform.getTranslateInstance(ICON_SIZE / 2d - p.getX(), ICON_SIZE / 2d - p.getY());
g2.fill(toCenterAT.createTransformedShape(ARROW));
g2.dispose();
}
protected void installStrings(JFileChooser fc) {
Locale l = fc.getLocale();
newFolderErrorText = UIManager.getString("FileChooser.newFolderErrorText", l);
newFolderErrorSeparator = UIManager.getString("FileChooser.newFolderErrorSeparator", l);
newFolderParentDoesntExistTitleText =
UIManager.getString("FileChooser.newFolderParentDoesntExistTitleText", l);
newFolderParentDoesntExistText =
UIManager.getString("FileChooser.newFolderParentDoesntExistText", l);
fileDescriptionText = UIManager.getString("FileChooser.fileDescriptionText", l);
directoryDescriptionText = UIManager.getString("FileChooser.directoryDescriptionText", l);
saveButtonText = UIManager.getString("FileChooser.saveButtonText", l);
openButtonText = UIManager.getString("FileChooser.openButtonText", l);
saveDialogTitleText = UIManager.getString("FileChooser.saveDialogTitleText", l);
openDialogTitleText = UIManager.getString("FileChooser.openDialogTitleText", l);
cancelButtonText = UIManager.getString("FileChooser.cancelButtonText", l);
updateButtonText = UIManager.getString("FileChooser.updateButtonText", l);
helpButtonText = UIManager.getString("FileChooser.helpButtonText", l);
directoryOpenButtonText = UIManager.getString("FileChooser.directoryOpenButtonText", l);
saveButtonMnemonic = getMnemonic("FileChooser.saveButtonMnemonic", l);
openButtonMnemonic = getMnemonic("FileChooser.openButtonMnemonic", l);
cancelButtonMnemonic = getMnemonic("FileChooser.cancelButtonMnemonic", l);
updateButtonMnemonic = getMnemonic("FileChooser.updateButtonMnemonic", l);
helpButtonMnemonic = getMnemonic("FileChooser.helpButtonMnemonic", l);
directoryOpenButtonMnemonic = getMnemonic("FileChooser.directoryOpenButtonMnemonic", l);
saveButtonToolTipText = UIManager.getString("FileChooser.saveButtonToolTipText", l);
openButtonToolTipText = UIManager.getString("FileChooser.openButtonToolTipText", l);
cancelButtonToolTipText = UIManager.getString("FileChooser.cancelButtonToolTipText", l);
updateButtonToolTipText = UIManager.getString("FileChooser.updateButtonToolTipText", l);
helpButtonToolTipText = UIManager.getString("FileChooser.helpButtonToolTipText", l);
directoryOpenButtonToolTipText =
UIManager.getString("FileChooser.directoryOpenButtonToolTipText", l);
}
protected void installIcons(JFileChooser fc) {
directoryIcon = UIManager.getIcon("FileView.directoryIcon");
fileIcon = UIManager.getIcon("FileView.fileIcon");
computerIcon = UIManager.getIcon("FileView.computerIcon");
hardDriveIcon = UIManager.getIcon("FileView.hardDriveIcon");
floppyDriveIcon = UIManager.getIcon("FileView.floppyDriveIcon");
newFolderIcon = UIManager.getIcon("FileChooser.newFolderIcon");
upFolderIcon = UIManager.getIcon("FileChooser.upFolderIcon");
homeFolderIcon = UIManager.getIcon("FileChooser.homeFolderIcon");
detailsViewIcon = UIManager.getIcon("FileChooser.detailsViewIcon");
listViewIcon = UIManager.getIcon("FileChooser.listViewIcon");
viewMenuIcon = UIManager.getIcon("FileChooser.viewMenuIcon");
}
public String getDescription() {
return UIManager.getString("FileChooser.acceptAllFileFilterText");
}
// {{{ ResultCellRenderer constructor
ResultCellRenderer() {
plainFont = UIManager.getFont("Tree.font");
if (plainFont == null) plainFont = jEdit.getFontProperty("metal.secondary.font");
boldFont = new Font(plainFont.getName(), Font.BOLD, plainFont.getSize());
} // }}}