@Override
public void refreshMark() {
final EditorArea edit = getEditor();
go.setEnabled(edit.script || edit.xquery && !gui.gprop.is(GUIProp.EXECRT));
final Nodes mrk = gui.context.marked;
filter.setEnabled(!gui.gprop.is(GUIProp.FILTERRT) && mrk != null && mrk.size() != 0);
}
/** Adds a tab for creating new tabs. */
private void addCreateTab() {
final BaseXButton add = tabButton("e_new");
add.setRolloverIcon(BaseXLayout.icon("e_new2"));
add.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
addTab();
refreshControls(true);
}
});
tabs.add(new BaseXBack(), add, 0);
tabs.setEnabledAt(0, false);
}
/**
* Adds a new editor tab.
*
* @return editor reference
*/
EditorArea addTab() {
final EditorArea edit = new EditorArea(this, newTabFile());
edit.setFont(GUIConstants.mfont);
final BaseXBack tab = new BaseXBack(new BorderLayout(10, 0)).mode(Fill.NONE);
tab.add(edit.label, BorderLayout.CENTER);
final BaseXButton close = tabButton("e_close");
close.setRolloverIcon(BaseXLayout.icon("e_close2"));
close.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
close(edit);
}
});
tab.add(close, BorderLayout.EAST);
tabs.add(edit, tab, tabs.getComponentCount() - 2);
return edit;
}
/**
* Default constructor.
*
* @param man view manager
*/
public TextView(final ViewNotifier man) {
super(TEXTVIEW, man);
border(5).layout(new BorderLayout(0, 5));
header = new BaseXHeader(RESULT);
home = BaseXButton.command(GUIMenuCmd.C_HOME, gui);
home.setEnabled(false);
text = new TextPanel(false, gui);
text.setSyntax(new SyntaxXML());
search = new SearchEditor(gui, text);
final AbstractButton save = BaseXButton.get("c_save", SAVE, false, gui);
final AbstractButton find = search.button(FIND);
final BaseXBack buttons = new BaseXBack(false);
buttons.layout(new TableLayout(1, 3, 1, 0)).border(0, 0, 4, 0);
buttons.add(save);
buttons.add(home);
buttons.add(find);
final BaseXBack b = new BaseXBack(false).layout(new BorderLayout());
b.add(buttons, BorderLayout.WEST);
b.add(header, BorderLayout.EAST);
add(b, BorderLayout.NORTH);
add(search, BorderLayout.CENTER);
save.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
save();
}
});
refreshLayout();
}
/**
* Refreshes the list of recent query files and updates the query path.
*
* @param file new file
*/
void refreshHistory(final IOFile file) {
final StringList sl = new StringList();
String path = null;
if (file != null) {
path = file.path();
gui.gprop.set(GUIProp.WORKPATH, file.dirPath());
sl.add(path);
tabs.setToolTipTextAt(tabs.getSelectedIndex(), path);
}
final String[] qu = gui.gprop.strings(GUIProp.EDITOR);
for (int q = 0; q < qu.length && q < 19; q++) {
final String f = qu[q];
if (!f.equalsIgnoreCase(path) && IO.get(f).exists()) sl.add(f);
}
// store sorted history
gui.gprop.set(GUIProp.EDITOR, sl.toArray());
hist.setEnabled(!sl.isEmpty());
}
/**
* Evaluates the info message resulting from a parsed or executed query.
*
* @param msg info message
* @param ok {@code true} if evaluation was successful
* @param up update
*/
public void info(final String msg, final boolean ok, final boolean up) {
++threadID;
errPos = -1;
errFile = null;
getEditor().resetError();
final String m =
msg.replaceAll("^.*\r?\n\\[.*?\\]", "")
.replaceAll(".*" + LINE_X.replaceAll("%", ".*?") + COL, "");
if (ok) {
info.setCursor(GUIConstants.CURSORARROW);
info.setText(m, Msg.SUCCESS).setToolTipText(null);
} else {
info.setCursor(error(msg) ? GUIConstants.CURSORHAND : GUIConstants.CURSORARROW);
info.setText(m, Msg.ERROR).setToolTipText(msg);
}
if (up) {
stop.setEnabled(false);
refreshMark();
}
}
/**
* Default constructor.
*
* @param main reference to the main window
*/
public DialogExport(final GUI main) {
super(main, EXPORT);
// create checkboxes
final BaseXBack p = new BaseXBack(new TableLayout(4, 1, 0, 0));
p.add(new BaseXLabel(OUTPUT_DIR + COL, true, true).border(0, 0, 6, 0));
// output label
BaseXBack pp = new BaseXBack(new TableLayout(1, 2, 8, 0));
path = new BaseXTextField(main.gopts.get(GUIOptions.INPUTPATH), this);
pp.add(path.history(GUIOptions.INPUTS, this));
final BaseXButton browse = new BaseXButton(BROWSE_D, this);
browse.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
choose();
}
});
pp.add(browse);
p.add(pp);
// provide components for method and encoding
final MainOptions opts = gui.context.options;
final SerializerOptions sopts = opts.get(MainOptions.EXPORTER);
// method (ignore last entry)
final StringList sl = new StringList();
for (final SerialMethod sm : SerialMethod.values()) sl.add(sm.name());
sl.remove(sl.size() - 1);
method = new BaseXCombo(this, sl.finish());
final SerialMethod sm = sopts.get(SerializerOptions.METHOD);
method.setSelectedItem((sm == null ? SerialMethod.BASEX : sm).name());
mparams = new BaseXTextField(this);
mparams.setColumns(24);
final BaseXBack mth = new BaseXBack(new TableLayout(1, 2, 8, 0));
mth.add(method);
mth.add(mparams);
encoding = new BaseXCombo(this, ENCODINGS);
String enc = sopts.get(SerializerOptions.ENCODING);
boolean f = false;
for (final String s : ENCODINGS) f |= s.equals(enc);
if (!f) {
enc = enc.toUpperCase(Locale.ENGLISH);
for (final String s : ENCODINGS) f |= s.equals(enc);
}
encoding.setSelectedItem(f ? enc : sopts.get(SerializerOptions.ENCODING));
params = new BaseXTextField(sopts.toString(), this);
params.setToolTipText(tooltip(SerializerMode.DEFAULT.get()));
pp = new BaseXBack(new TableLayout(3, 2, 16, 6)).border(8, 0, 8, 0);
pp.add(new BaseXLabel(METHOD + COL, true, true));
pp.add(mth);
pp.add(new BaseXLabel(ENCODING + COL, true, true));
pp.add(encoding);
pp.add(new BaseXLabel(PARAMETERS + COL, true, true));
pp.add(params);
p.add(pp);
info = new BaseXLabel(" ").border(8, 0, 0, 0);
p.add(info);
// indentation
set(p, BorderLayout.CENTER);
// buttons
pp = new BaseXBack(new BorderLayout());
buttons = okCancel();
pp.add(buttons, BorderLayout.EAST);
set(pp, BorderLayout.SOUTH);
action(method);
finish(null);
}
/**
* Default constructor.
*
* @param man view manager
*/
public EditorView(final ViewNotifier man) {
super(EDITORVIEW, man);
if (Prop.langright) applyComponentOrientation(ComponentOrientation.RIGHT_TO_LEFT);
border(6, 6, 6, 6).layout(new BorderLayout(0, 2)).setFocusable(false);
header = new BaseXLabel(EDITOR, true, false);
final BaseXButton srch = new BaseXButton(gui, "search", H_REPLACE);
final BaseXButton openB = BaseXButton.command(GUICommands.C_EDITOPEN, gui);
final BaseXButton saveB = new BaseXButton(gui, "save", H_SAVE);
hist = new BaseXButton(gui, "hist", H_RECENTLY_OPEN);
final BaseXBack buttons = new BaseXBack(Fill.NONE);
buttons.layout(new TableLayout(1, 4, 1, 0));
buttons.add(srch);
buttons.add(openB);
buttons.add(saveB);
buttons.add(hist);
final BaseXBack b = new BaseXBack(Fill.NONE).layout(new BorderLayout(8, 0));
if (Prop.langright) {
b.add(header, BorderLayout.EAST);
b.add(buttons, BorderLayout.WEST);
} else {
b.add(header, BorderLayout.CENTER);
b.add(buttons, BorderLayout.EAST);
}
add(b, BorderLayout.NORTH);
tabs = new BaseXTabs(gui);
tabs.setFocusable(false);
final SearchEditor se = new SearchEditor(gui, tabs, null).button(srch);
search = se.panel();
addCreateTab();
add(se, BorderLayout.CENTER);
// status and query pane
search.editor(addTab(), false);
info = new BaseXLabel().setText(OK, Msg.SUCCESS);
pos = new BaseXLabel(" ");
posCode.invokeLater();
stop = new BaseXButton(gui, "stop", H_STOP_PROCESS);
stop.addKeyListener(this);
stop.setEnabled(false);
go = new BaseXButton(gui, "go", H_EXECUTE_QUERY);
go.addKeyListener(this);
filter = BaseXButton.command(GUICommands.C_FILTER, gui);
filter.addKeyListener(this);
filter.setEnabled(false);
final BaseXBack status = new BaseXBack(Fill.NONE).layout(new BorderLayout(4, 0));
status.add(info, BorderLayout.CENTER);
status.add(pos, BorderLayout.EAST);
final BaseXBack query = new BaseXBack(Fill.NONE).layout(new TableLayout(1, 3, 1, 0));
query.add(stop);
query.add(go);
query.add(filter);
final BaseXBack south = new BaseXBack(Fill.NONE).border(4, 0, 0, 0);
south.layout(new BorderLayout(8, 0));
south.add(status, BorderLayout.CENTER);
south.add(query, BorderLayout.EAST);
add(south, BorderLayout.SOUTH);
refreshLayout();
// add listeners
saveB.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
final JPopupMenu pop = new JPopupMenu();
final StringBuilder mnem = new StringBuilder();
final JMenuItem sa = GUIMenu.newItem(GUICommands.C_EDITSAVE, gui, mnem);
final JMenuItem sas = GUIMenu.newItem(GUICommands.C_EDITSAVEAS, gui, mnem);
GUICommands.C_EDITSAVE.refresh(gui, sa);
GUICommands.C_EDITSAVEAS.refresh(gui, sas);
pop.add(sa);
pop.add(sas);
pop.show(saveB, 0, saveB.getHeight());
}
});
hist.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
final JPopupMenu pm = new JPopupMenu();
final ActionListener al =
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent ac) {
open(new IOFile(ac.getActionCommand()));
}
};
final StringList sl = new StringList();
for (final EditorArea ea : editors()) sl.add(ea.file.path());
for (final String en :
new StringList().add(gui.gprop.strings(GUIProp.EDITOR)).sort(!Prop.WIN, true)) {
final JMenuItem it = new JMenuItem(en);
it.setEnabled(!sl.contains(en));
pm.add(it).addActionListener(al);
}
pm.show(hist, 0, hist.getHeight());
}
});
refreshHistory(null);
info.addMouseListener(
new MouseAdapter() {
@Override
public void mouseClicked(final MouseEvent e) {
EditorArea ea = getEditor();
if (errFile != null) {
ea = find(IO.get(errFile), false);
if (ea == null) ea = open(new IOFile(errFile));
tabs.setSelectedComponent(ea);
}
if (errPos == -1) return;
ea.jumpError(errPos);
posCode.invokeLater();
}
});
stop.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
stop.setEnabled(false);
go.setEnabled(false);
gui.stop();
}
});
go.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(final ActionEvent e) {
getEditor().release(Action.EXECUTE);
}
});
tabs.addChangeListener(
new ChangeListener() {
@Override
public void stateChanged(final ChangeEvent e) {
final EditorArea ea = getEditor();
if (ea == null) return;
search.editor(ea, true);
gui.refreshControls();
posCode.invokeLater();
}
});
BaseXLayout.addDrop(
this,
new DropHandler() {
@Override
public void drop(final Object file) {
if (file instanceof File) open(new IOFile((File) file));
}
});
}
/**
* Adds a new tab button.
*
* @param icon button icon
* @return button
*/
private BaseXButton tabButton(final String icon) {
final BaseXButton b = new BaseXButton(gui, icon, null);
b.border(2, 2, 2, 2).setContentAreaFilled(false);
b.setFocusable(false);
return b;
}