PageRenderTime 41ms CodeModel.GetById 38ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-5-pre1/org/gjt/sp/jedit/msg/PositionChanging.java

#
Java | 45 lines | 18 code | 6 blank | 21 comment | 0 complexity | 7693776e7bd9655d2ea1632d26f2bef6 MD5 | raw file
 1package org.gjt.sp.jedit.msg;
 2
 3import org.gjt.sp.jedit.EditPane;
 4import org.gjt.sp.jedit.textarea.TextArea;
 5
 6
 7/**
 8 * An EBMessage associated with an EditPane that is sent just before its caret 
 9 * position changes in a "major way" to another location in the same Buffer.
10 * These messages are tracked by the Navigator plugin, 
11 * and other interested plugins.
12 * 
13 * jEdit plugins such as SideKick, Tags, Jump, CscopeFinder, etc, should 
14 * emit this message whenever the user wants to jump from one position
15 * to another in the same buffer.
16 * 
17 * For jumps to a different buffer entirely, it is not necessary for plugins
18 * to send any message, since BufferChanging is sent by jEdit whenever 
19 * EditPane.setBuffer() is called, and it serves as a PositionChanging message
20 * also.
21 * 
22 *
23 * @see org.gjt.sp.jedit.msg.BufferChanging
24 * @author ezust
25 * @since jEdit 4.3pre15
26 *
27 */
28public class PositionChanging extends EditPaneUpdate
29{
30	
31	protected PositionChanging(EditPane editPane, Object whatt)
32	{
33		super(editPane, whatt);
34	}
35
36	public PositionChanging(TextArea textArea)
37	{
38		super(EditPane.get(textArea), EditPaneUpdate.POSITION_CHANGING);
39	}
40	
41	public PositionChanging(EditPane editPane)
42	{
43		super (editPane, EditPaneUpdate.POSITION_CHANGING);
44	}
45}