1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
/*
* Go_to_Offset.bsh - a BeanShell macro for the jEdit text
* editor - Prompts the user for a offset position on the
* current buffer, then moves the caret there.
*
* Copyright (C) 2013 Thomas Meyer
*
*/
//Process
goToOffset()
{
len = textArea.getBufferLength();
while(true)
{
offset = Macros.input(view, jEdit.getProperty("macro.rs.GoToOffset.label", new Integer[] {len}));
if(offset == null)
return;
else
{
try
{
offset = Integer.parseInt(offset);
if(offset >= 0 && offset <= len)
{
textArea.setCaretPosition(offset);
textArea.requestFocus();
return;
}
} catch(NumberFormatException e) {
}
}
}
}
goToOffset();
/*
Macro index data (in DocBook format)
<listitem>
<para><filename>Go_to_Offset.bsh</filename></para>
<abstract><para>
Prompts the user for a offset position on the
current buffer, then moves the caret there.
</para></abstract>
</listitem>
*/
|
