/** Redoes the text. */
final void redo() {
if (undo == null) return;
text = new BaseXTextTokens(undo.next());
rend.setText(text);
text.pos(undo.cursor());
text.setCaret();
}
/** Deletes the selected text. */
final void delete() {
if (undo == null) return;
text.pos(text.cursor());
undo.cursor(text.cursor());
text.delete();
undo.store(text.text(), text.cursor());
text.setCaret();
}
/**
* Pastes the specified string.
*
* @param txt string to be pasted
* @return success flag
*/
final boolean paste(final String txt) {
if (txt == null || undo == null) return false;
text.pos(text.cursor());
undo.cursor(text.cursor());
if (text.marked()) text.delete();
text.add(txt);
undo.store(text.text(), text.cursor());
return true;
}
/**
* Sets the output text.
*
* @param t output text
* @param s text size
*/
public final void setText(final byte[] t, final int s) {
// remove invalid characters and compare old with new string
int ns = 0;
final int ts = text.size();
final byte[] tt = text.text();
boolean eq = true;
for (int r = 0; r < s; ++r) {
final byte b = t[r];
// support characters, highlighting codes, tabs and newlines
if (b >= ' ' || b <= TokenBuilder.MARK || b == 0x09 || b == 0x0A) {
t[ns++] = t[r];
}
eq &= ns < ts && ns < s && t[ns] == tt[ns];
}
eq &= ns == ts;
// new text is different...
if (!eq) {
text = new BaseXTextTokens(Arrays.copyOf(t, ns));
rend.setText(text);
scroll.pos(0);
}
if (undo != null) undo.store(t.length != ns ? Arrays.copyOf(t, ns) : t, 0);
SwingUtilities.invokeLater(calc);
}
public void undoableEditHappened(UndoableEditEvent e) {
UndoManager mgr = Undo.getCurrentUndoMgr();
if (mgr != null && mgr.canRedo()) {
setToolTipText(mgr.getRedoPresentationName());
setEnabled(true);
} else {
setToolTipText(tipStr);
setEnabled(false);
}
}
public VRedoButton(SessionShare sshare, ButtonIF vif, String typ) {
super(sshare, vif, typ);
addFocusListener(
new FocusAdapter() {
public void focusGained(FocusEvent evt) {
Undo.restoreLastUndoMgr();
}
});
Undo.addUndoListener(this);
}
@Override
public void keyReleased(final KeyEvent e) {
if (undo != null) undo.store(text.text(), text.cursor());
}
@Override
public void keyPressed(final KeyEvent e) {
if (modifier(e)) return;
// operations that change the focus are put first..
if (PREVTAB.is(e)) {
transferFocusBackward();
return;
}
if (NEXTTAB.is(e)) {
transferFocus();
return;
}
if (FIND.is(e)) {
if (find != null) find.requestFocusInWindow();
return;
}
// re-animate cursor
cursor(true);
// operations without cursor movement...
final int fh = rend.fontH();
if (SCROLLDOWN.is(e)) {
scroll.pos(scroll.pos() + fh);
return;
}
if (SCROLLUP.is(e)) {
scroll.pos(scroll.pos() - fh);
return;
}
if (COPY1.is(e) || COPY2.is(e)) {
copy();
return;
}
// set cursor position and reset last column
text.pos(text.cursor());
if (!PREVLINE.is(e) && !NEXTLINE.is(e)) lastCol = -1;
if (FINDNEXT.is(e) || FINDNEXT2.is(e)) {
scroll(rend.find(true, true));
return;
}
if (FINDPREV.is(e) || FINDPREV2.is(e)) {
scroll(rend.find(false, true));
return;
}
if (SELECTALL.is(e)) {
selectAll();
return;
}
// necessary on Macs as the shift button is pressed for REDO
final boolean marking =
e.isShiftDown()
&& !DELNEXT.is(e)
&& !DELPREV.is(e)
&& !PASTE2.is(e)
&& !COMMENT.is(e)
&& !DELLINE.is(e)
&& !REDOSTEP.is(e);
final boolean nomark = !text.marked();
if (marking && nomark) text.startMark();
boolean down = true;
boolean consumed = true;
// operations that consider the last text mark..
final byte[] txt = text.text();
if (NEXTWORD.is(e)) {
text.nextToken(marking);
} else if (PREVWORD.is(e)) {
text.prevToken(marking);
down = false;
} else if (TEXTSTART.is(e)) {
if (!marking) text.noMark();
text.pos(0);
down = false;
} else if (TEXTEND.is(e)) {
if (!marking) text.noMark();
text.pos(text.size());
} else if (LINESTART.is(e)) {
text.bol(marking);
down = false;
} else if (LINEEND.is(e)) {
text.eol(marking);
} else if (NEXTPAGE.is(e)) {
down(getHeight() / fh, marking);
} else if (PREVPAGE.is(e)) {
up(getHeight() / fh, marking);
down = false;
} else if (NEXT.is(e)) {
text.next(marking);
} else if (PREV.is(e)) {
text.prev(marking);
down = false;
} else if (PREVLINE.is(e)) {
up(1, marking);
down = false;
} else if (NEXTLINE.is(e)) {
down(1, marking);
} else if (FINDERROR.is(e)) {
final int p = text.error();
if (p != -1) setCaret(p);
} else {
consumed = false;
}
if (marking) {
// refresh scroll position
text.endMark();
text.checkMark();
} else if (undo != null) {
// edit operations...
if (CUT1.is(e) || CUT2.is(e)) {
cut();
} else if (PASTE1.is(e) || PASTE2.is(e)) {
paste();
} else if (UNDOSTEP.is(e)) {
undo();
} else if (REDOSTEP.is(e)) {
redo();
} else if (COMMENT.is(e)) {
text.comment(rend.getSyntax());
} else if (DELLINE.is(e)) {
text.deleteLine();
} else if (DELLINEEND.is(e) || DELNEXTWORD.is(e) || DELNEXT.is(e)) {
if (nomark) {
if (text.pos() == text.size()) return;
text.startMark();
if (DELNEXTWORD.is(e)) {
text.nextToken(true);
} else if (DELLINEEND.is(e)) {
text.eol(true);
} else {
text.next(true);
}
text.endMark();
}
undo.cursor(text.cursor());
text.delete();
} else if (DELLINESTART.is(e) || DELPREVWORD.is(e) || DELPREV.is(e)) {
if (nomark) {
if (text.pos() == 0) return;
text.startMark();
if (DELPREVWORD.is(e)) {
text.prevToken(true);
} else if (DELLINESTART.is(e)) {
text.bol(true);
} else {
text.prev();
}
text.endMark();
}
undo.cursor(text.cursor());
text.delete();
down = false;
} else {
consumed = false;
}
}
if (consumed) e.consume();
text.setCaret();
if (txt != text.text()) rend.calc();
showCursor(down ? 2 : 0);
}
/**
* Sets the output text.
*
* @param t output text
*/
public void setText(final byte[] t) {
setText(t, t.length);
if (undo != null) undo.reset(t);
}
public void actionPerformed(ActionEvent e) {
UndoManager mgr = Undo.getLastUndoMgr();
if (mgr != null && mgr.canRedo()) mgr.redo();
}