/**
* Returns a tooltip for the specified options string.
*
* @param opts serialization options
* @return string
*/
private static String tooltip(final Options opts) {
final StringBuilder sb = new StringBuilder("<html><b>").append(PARAMETERS).append(":</b><br>");
for (final Option<?> so : opts) {
if (!(so instanceof OptionsOption)) sb.append("\u2022 ").append(so).append("<br/>");
}
return sb.append("</html>").toString();
}
/**
* Adds human readable shortcuts to the specified string.
*
* @param str text of tooltip
* @param sc shortcut
* @return tooltip
*/
public static String addShortcut(final String str, final String sc) {
if (sc == null || str == null) return str;
final StringBuilder sb = new StringBuilder();
for (final String s : sc.split(" ")) {
String t = "%".equals(s) ? Prop.MAC ? "meta" : "control" : s;
if (t.length() != 1) t = Toolkit.getProperty("AWT." + t.toLowerCase(Locale.ENGLISH), t);
sb.append('+').append(t);
}
return str + " (" + sb.substring(1) + ')';
}
/**
* Sets a mnemomic for the specified button.
*
* @param b button
* @param mnem mnemonics that have already been assigned
*/
public static void setMnemonic(final AbstractButton b, final StringBuilder mnem) {
// do not set mnemonics for Mac! Alt+key used for special characters.
if (Prop.MAC) return;
// find and assign unused mnemomic
final String label = b.getText();
final int ll = label.length();
for (int l = 0; l < ll; l++) {
final char ch = Character.toLowerCase(label.charAt(l));
if (!letter(ch) || mnem.indexOf(Character.toString(ch)) != -1) continue;
b.setMnemonic(ch);
mnem.append(ch);
break;
}
}
@Override
public void keyTyped(final KeyEvent e) {
if (undo == null || control(e) || DELNEXT.is(e) || DELPREV.is(e) || ESCAPE.is(e)) return;
text.pos(text.cursor());
// string to be added
String ch = String.valueOf(e.getKeyChar());
// remember if marked text is to be deleted
boolean del = true;
final byte[] txt = text.text();
if (TAB.is(e)) {
if (text.marked()) {
// check if lines are to be indented
final int s = Math.min(text.pos(), text.start());
final int l = Math.max(text.pos(), text.start()) - 1;
for (int p = s; p <= l && p < txt.length; p++) del &= txt[p] != '\n';
if (!del) {
text.indent(s, l, e.isShiftDown());
ch = null;
}
} else {
boolean c = true;
for (int p = text.pos() - 1; p >= 0 && c; p--) {
final byte b = txt[p];
c = ws(b);
if (b == '\n') break;
}
if (c) ch = " ";
}
}
// delete marked text
if (text.marked() && del) text.delete();
if (ENTER.is(e)) {
// adopt indentation from previous line
final StringBuilder sb = new StringBuilder(1).append(e.getKeyChar());
int s = 0;
for (int p = text.pos() - 1; p >= 0; p--) {
final byte b = txt[p];
if (b == '\n') break;
if (b == '\t') {
s += 2;
} else if (b == ' ') {
s++;
} else {
s = 0;
}
}
for (int p = 0; p < s; p++) sb.append(' ');
ch = sb.toString();
}
if (ch != null) text.add(ch);
text.setCaret();
rend.calc();
showCursor(2);
e.consume();
}
@Override
public void action(final Object cmp) {
final StringBuilder bind = new StringBuilder();
final int cl = context.length;
for (int c = 0; c < cl; c += 2) {
final String key = context[c].getText().replaceAll("^\\$", "");
if (key.isEmpty()) continue;
if (bind.length() != 0) bind.append(',');
bind.append(key.replaceAll(",", ",,")).append('=');
bind.append(context[c + 1].getText().replaceAll(",", ",,"));
}
gui.context.options.set(MainOptions.BINDINGS, bind.toString());
}