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 just before jEdit exits.↵ | | 5 | * Message sent when search and replace settings change.↵
|
6 | * @author Slava Pestov↵ | | 6 | * @author Slava Pestov↵
|
7 | * @version $Id: EditorExiting.java,v 1.2 2002/05/14 07:55:48 spestov Exp $↵ | | 7 | * @version $Id: SearchSettingsChanged.java,v 1.2 2002/05/14 07:55:49 spestov Exp $↵
|
8 | *↵ | | 8 | *↵
|
9 | * @since jEdit 2.3pre2↵ | | 9 | * @since jEdit 2.3pre1↵
|
10 | */↵ | | 10 | */↵
|
11 | public class EditorExiting extends EBMessage↵ | | 11 | public class SearchSettingsChanged extends EBMessage↵
|
12 | {↵ | | 12 | {↵
|
13 | /**↵ | | 13 | /**↵
|
14 | * Creates a new editor exiting message.↵ | | 14 | * Creates a new search and replace settings changed message.↵
|
15 | * @param source The message source↵ | | 15 | * @param source The message source↵
|
16 | */↵ | | 16 | */↵
|
17 | public EditorExiting(EBComponent source)↵ | | 17 | public SearchSettingsChanged(EBComponent source)↵
|
18 | {↵ | | 18 | {↵
|
19 | super(source);↵ | | 19 | super(source);↵
|
20 | }↵ | | 20 | }↵
|
21 | } | | 21 | }
|