File: Emacs_Exchange_Point_and_Mark.bsh

package info (click to toggle)
jedit 5.3.0%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 14,252 kB
  • ctags: 11,190
  • sloc: java: 98,480; xml: 94,070; makefile: 52; sh: 42; cpp: 6; python: 6
file content (21 lines) | stat: -rw-r--r-- 454 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
/**
 * Emulate GNU Emacs's "exchange-point-and-mark" capability.
 * Does NOT use jEdit markers.
 */
source (MiscUtilities.constructPath(dirname(scriptPath), "EmacsUtil.bsh"));

void emacsExchangePointAndMark()
{
    int mark = getMark (buffer);
    if (mark == -1)
    {
        beep();
        return;
    }
    int point = textArea.getCaretPosition();
    setMark (buffer, point);
    textArea.setCaretPosition (mark);
}

emacsExchangePointAndMark();