1 | package org.gjt.sp.jedit.msg;↵ | | 1 | package org.gjt.sp.jedit.msg;↵
|
|
2 | import org.gjt.sp.jedit.EBComponent;↵ | | 2 | import org.gjt.sp.jedit.EBComponent;↵
|
3 | import org.gjt.sp.jedit.EBMessage;↵ | | 3 | import org.gjt.sp.jedit.EBMessage;↵
|
|
4 | /**↵ | | 4 | /**↵
|
5 | * Message sent after jEdit has finished starting up, but before the initial↵ | | 5 | * Message sent ↵
|
6 | * view is created↵ | | 6 | when properties are changed using the global options or↵
|
7 | .↵ | | 7 | * plugin options dialog box.↵
|
8 | * @author Slava Pestov↵ | | 8 | * @author Slava Pestov↵
|
9 | * @version $Id: EditorStarted.java,v 1.2 2002/05/14 07:55:48 spestov Exp $↵ | | 9 | * @version $Id: PropertiesChanged.java,v 1.2 2002/05/14 07:55:49 spestov Exp $↵
|
10 | *↵ | | 10 | *↵
|
11 | * @since jEdit 2.3pre2↵ | | 11 | * @since jEdit 2.2pre6↵
|
12 | */↵ | | 12 | */↵
|
13 | public class EditorStarted extends EBMessage↵ | | 13 | public class PropertiesChanged extends EBMessage↵
|
14 | {↵ | | 14 | {↵
|
15 | /**↵ | | 15 | /**↵
|
16 | * Creates a new editor started message.↵ | | 16 | * Creates a new properties changed message.↵
|
17 | * @param source The message source↵ | | 17 | * @param source The message source↵
|
18 | */↵ | | 18 | */↵
|
19 | public EditorStarted(EBComponent source)↵ | | 19 | public PropertiesChanged(EBComponent source)↵
|
20 | {↵ | | 20 | {↵
|
21 | super(source);↵ | | 21 | super(source);↵
|
22 | }↵ | | 22 | }↵
|
23 | } | | 23 | }
|