/**
* Returns an icon for the specified file.
*
* @param file file reference
* @return icon
*/
public static Icon file(final IOFile file) {
if (file == null) return UNKNOWN;
// fallback code for displaying icons
final String path = file.path();
final MediaType type = MediaType.get(path);
if (type.isXML()) return XML;
if (type.isXQuery()) return XQUERY;
if (path.contains(IO.BASEXSUFFIX)) return BASEX;
// only works with standard dpi (https://bugs.openjdk.java.net/browse/JDK-6817929)
if (Prop.WIN && !GUIConstants.large()) {
// retrieve system icons (only supported on Windows)
final int p = path.lastIndexOf(path, '.');
final String suffix = p == -1 ? null : path.substring(p + 1);
Icon icon = null;
if (suffix != null) icon = FILES.get(suffix);
if (icon == null) {
icon = FS.getSystemIcon(file.file());
if (suffix != null) FILES.put(suffix, icon);
}
return icon;
}
// default icon chooser
return type.isText() ? TEXT : UNKNOWN;
}
/**
* Returns the specified image as icon.
*
* @param name name of icon
* @return icon
*/
public static ImageIcon icon(final String name) {
ImageIcon ii = ICONS.get(name);
if (ii != null) return ii;
Image img;
if (GUIConstants.scale > 1) {
// choose large image or none
final URL url =
GUIConstants.large() ? BaseXImages.class.getResource("/img/" + name + "_32.png") : null;
if (url == null) {
// resize low-res image if no hi-res image exists
img = get(url(name));
final int w = (int) (img.getWidth(null) * GUIConstants.scale);
final int h = (int) (img.getHeight(null) * GUIConstants.scale);
final BufferedImage tmp = new BufferedImage(w, h, BufferedImage.TYPE_INT_ARGB);
final Graphics2D g2 = tmp.createGraphics();
g2.setRenderingHint(
RenderingHints.KEY_INTERPOLATION, RenderingHints.VALUE_INTERPOLATION_BICUBIC);
g2.drawImage(img, 0, 0, w, h, null);
g2.dispose();
img = tmp;
} else {
img = get(url);
}
} else {
img = get(name);
}
ii = new ImageIcon(img);
ICONS.put(name, ii);
return ii;
}
/**
* Default constructor.
*
* @param edit editable flag
* @param win parent window
*/
public BaseXEditor(final boolean edit, final Window win) {
super(win);
setFocusable(true);
setFocusTraversalKeysEnabled(!edit);
addMouseMotionListener(this);
addMouseWheelListener(this);
addComponentListener(this);
addMouseListener(this);
addKeyListener(this);
addFocusListener(
new FocusAdapter() {
@Override
public void focusGained(final FocusEvent e) {
if (isEnabled()) cursor(true);
}
@Override
public void focusLost(final FocusEvent e) {
cursor(false);
rend.cursor(false);
rend.repaint();
}
});
layout(new BorderLayout(4, 0));
scroll = new BaseXBar(this);
rend = new BaseXTextRenderer(text, scroll);
add(rend, BorderLayout.CENTER);
add(scroll, BorderLayout.EAST);
Undo un = null;
if (edit) {
setBackground(Color.white);
setBorder(new MatteBorder(1, 1, 0, 0, GUIConstants.color(6)));
un = new Undo();
} else {
mode(Fill.NONE);
}
undo = un;
new BaseXPopup(
this,
edit
? new GUICommand[] {
new UndoCmd(),
new RedoCmd(),
null,
new CutCmd(),
new CopyCmd(),
new PasteCmd(),
new DelCmd(),
null,
new AllCmd()
}
: new GUICommand[] {new CopyCmd(), null, new AllCmd()});
}