1 | public class EditPaneUpdate extends EBMessage↵ | | 1 | public class ViewUpdate extends EBMessage↵
|
2 | {↵ | | 2 | {↵
|
3 | /**↵ | | 3 | /**↵
|
4 | * Edit pane created.↵ | | 4 | * View created.↵
|
5 | */↵ | | 5 | */↵
|
6 | public static final Object CREATED = "CREATED";↵ | | 6 | public static final Object CREATED = "CREATED";↵
|
|
7 | /**↵ | | 7 | /**↵
|
8 | * Edit pane destroyed.↵ | | 8 | * View closed.↵
|
9 | */↵ | | 9 | */↵
|
10 | public static final Object DESTROYED = "DESTROYED";↵ | | 10 | public static final Object CLOSED = "CLOSED";↵
|
|
11 | /**↵ | | 11 | /**↵
|
12 | * Edit pane buffer changed.↵ | | 12 | * Active edit pane changed.↵
|
13 | ↵ | | 13 | * @since jEdit 4.1pre1↵
|
14 | */↵ | | 14 | */↵
|
15 | public static final Object BUFFER_CHANGED = "BUFFER_CHANGED";↵ | | 15 | public static final Object EDIT_PANE_CHANGED = "EDIT_PANE_CHANGED";↵
|
|
| | | 16 | //{{{ ViewUpdate constructor↵
|
16 | /**↵ | | 17 | /**↵
|
17 | * Creates a new edit pane update message.↵ | | 18 | * Creates a new view update message.↵
|
18 | * @param editPane The edit pane↵ | | 19 | * @param view The view↵
|
19 | * @param what What happened↵ | | 20 | * @param what What happened↵
|
20 | */↵ | | 21 | */↵
|
21 | public EditPaneUpdate(EditPane editPane, Object what)↵ | | 22 | public ViewUpdate(View view, Object what)↵
|
22 | {↵ | | 23 | {↵
|
23 | super(editPane);↵ | | 24 | super(view);↵
|
|
24 | if(what == null)↵ | | 25 | if(what == null)↵
|
25 | throw new NullPointerException("What must be non-null");↵ | | 26 | throw new NullPointerException("What must be non-null");↵
|
|
26 | this.what = what;↵ | | 27 | this.what = what;↵
|
27 | }↵ | | 28 | }↵
|
| | | 29 | //}}}↵
|
|
| | | 30 | //{{{ getWhat() method↵
|
28 | /**↵ | | 31 | /**↵
|
29 | * Returns what caused this edit pane update.↵ | | 32 | * Returns what caused this view update.↵
|
30 | */↵ | | 33 | */↵
|
31 | public Object getWhat()↵ | | 34 | public Object getWhat()↵
|
32 | {↵ | | 35 | {↵
|
33 | return what;↵ | | 36 | return what;↵
|
34 | }↵ | | 37 | }↵
|
| | | 38 | //}}}↵
|
|
| | | 39 | //{{{ getView() method↵
|
35 | /**↵ | | 40 | /**↵
|
36 | * Returns the edit pane involved.↵ | | 41 | * Returns the view involved.↵
|
37 | */↵ | | 42 | */↵
|
38 | public EditPane getEditPane()↵ | | 43 | public View getView()↵
|
39 | {↵ | | 44 | {↵
|
40 | return (EditPane)getSource();↵ | | 45 | return (View)getSource();↵
|
41 | }↵ | | 46 | }↵
|
| | | 47 | //}}}↵
|
|
| | | 48 | //{{{ paramString() method↵
|
42 | public String paramString()↵ | | 49 | public String paramString()↵
|
43 | {↵ | | 50 | {↵
|
44 | return "what=" + what + "," + super.paramString();↵ | | 51 | return "what=" + what + "," + super.paramString();↵
|
45 | }↵ | | 52 | }↵
|
|
46 | // p↵ | | 53 | //}}}↵
|
|
47 | rivate members↵ | | 54 | //{{{ Private members↵
|
48 | private Object what; | | 55 | private Object what;↵
|
| | | 56 |
|