@Override
public void mousePressed(final MouseEvent e) {
Performance.gc(3);
repaint();
final Runtime rt = Runtime.getRuntime();
final long max = rt.maxMemory();
final long total = rt.totalMemory();
final long used = total - rt.freeMemory();
final String inf =
TOTAL_MEM_C
+ Performance.format(max, true)
+ NL
+ RESERVED_MEM_C
+ Performance.format(total, true)
+ NL
+ MEMUSED_C
+ Performance.format(used, true)
+ NL
+ NL
+ H_USED_MEM;
BaseXDialog.info(gui, inf);
}
/**
* Shows a quit dialog for the specified editor.
*
* @param edit editor to be saved
* @return {@code false} if confirmation was canceled
*/
private boolean confirm(final EditorArea edit) {
if (edit.modified && (edit.opened() || edit.getText().length != 0)) {
final Boolean ok = BaseXDialog.yesNoCancel(gui, Util.info(CLOSE_FILE_X, edit.file.name()));
if (ok == null || ok && !save()) return false;
}
return true;
}
/** Saves the displayed text. */
private void save() {
final BaseXFileChooser fc =
new BaseXFileChooser(SAVE_AS, gui.gopts.get(GUIOptions.WORKPATH), gui).suffix(IO.XMLSUFFIX);
final IO file = fc.select(Mode.FSAVE);
if (file == null) return;
gui.gopts.set(GUIOptions.WORKPATH, file.path());
gui.cursor(CURSORWAIT, true);
final MainOptions opts = gui.context.options;
final int mh = opts.get(MainOptions.MAXHITS);
opts.set(MainOptions.MAXHITS, -1);
opts.set(MainOptions.CACHEQUERY, false);
try (final PrintOutput out = new PrintOutput(file.toString())) {
if (cmd != null) {
cmd.execute(gui.context, out);
} else if (ns != null) {
ns.serialize(Serializer.get(out));
} else {
final byte[] txt = text.getText();
for (final byte t : txt) if (t < 0 || t > ' ' || ws(t)) out.write(t);
}
} catch (final IOException ex) {
BaseXDialog.error(gui, Util.info(FILE_NOT_SAVED_X, file));
} finally {
opts.set(MainOptions.MAXHITS, mh);
opts.set(MainOptions.CACHEQUERY, true);
gui.cursor(CURSORARROW, true);
}
}
@Override
public void cancel() {
final boolean sn = gui.gprop.is(GUIProp.SHOWNAME);
gui.gprop.set(GUIProp.SHOWNAME, oldShowNames);
if (sn != oldShowNames) gui.notify.layout();
super.cancel();
}
/** Open all selected files externally. */
private void openExternal() {
for (final IOFile file : selectedValues()) {
try {
file.open();
} catch (final IOException ex) {
BaseXDialog.error(project.gui, Util.info(FILE_NOT_OPENED_X, file));
}
}
}
/**
* Saves the specified editor contents.
*
* @param file file to write
* @return {@code false} if confirmation was canceled
*/
private boolean save(final IOFile file) {
try {
final EditorArea edit = getEditor();
file.write(edit.getText());
edit.file(file);
return true;
} catch (final IOException ex) {
BaseXDialog.error(gui, FILE_NOT_SAVED);
return false;
}
}
@Override
public void close() {
try {
gui.set(MainOptions.EXPORTER, options(SerialMethod.valueOf(method.getSelectedItem())));
} catch (final BaseXException ex) {
throw Util.notExpected(ex);
}
if (!ok) return;
super.close();
path.store();
}
@Override
public void mouseDragged(final MouseEvent e) {
final double prop = (max - min) * (mouseX - e.getX()) / (getWidth() - SLIDERW);
final int old = value;
value = Math.max(min, Math.min(max, (int) (oldValue - prop)));
if (value != old) {
if (dialog != null) dialog.action(null);
for (final ActionListener al : listenerList.getListeners(ActionListener.class)) {
al.actionPerformed(null);
}
repaint();
}
}
/**
* Opens the specified query file.
*
* @param file query file
* @return opened editor
*/
public EditorArea open(final IOFile file) {
if (!visible()) GUICommands.C_SHOWEDITOR.execute(gui);
EditorArea edit = find(file, true);
try {
if (edit != null) {
// display open file
tabs.setSelectedComponent(edit);
edit.reopen(true);
} else {
// get current editor
edit = getEditor();
// create new tab if current text is stored on disk or has been modified
if (edit.opened() || edit.modified) edit = addTab();
edit.initText(file.read());
edit.file(file);
}
} catch (final IOException ex) {
BaseXDialog.error(gui, FILE_NOT_OPENED);
}
return edit;
}
@Override
public void keyPressed(final KeyEvent e) {
final int old = value;
if (PREVCHAR.is(e) || PREVLINE.is(e)) {
value = Math.max(min, value - 1);
} else if (NEXTCHAR.is(e) || NEXTLINE.is(e)) {
value = Math.min(max, value + 1);
} else if (NEXTPAGE.is(e)) {
value = Math.max(min, value + 10);
} else if (PREVPAGE.is(e)) {
value = Math.min(max, value - 10);
} else if (LINESTART.is(e)) {
value = min;
} else if (LINEEND.is(e)) {
value = max;
}
if (value != old) {
if (dialog != null) dialog.action(null);
for (final ActionListener al : listenerList.getListeners(ActionListener.class)) {
al.actionPerformed(null);
}
repaint();
}
}