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 when properties are changed using the global options or↵ | | 5 | * Message sent when search an↵
|
6 | * plugin options dialog box.↵ | | 6 | d replace settings change.↵
|
7 | * @author Slava Pestov↵ | | 7 | * @author Slava Pestov↵
|
8 | * @version $Id: PropertiesChanged.java,v 1.2 2002/05/14 07:55:49 spestov Exp $↵ | | 8 | * @version $Id: SearchSettingsChanged.java,v 1.2 2002/05/14 07:55:49 spestov Exp $↵
|
9 | *↵ | | 9 | *↵
|
10 | * @since jEdit 2.2pre6↵ | | 10 | * @since jEdit 2.3pre1↵
|
11 | */↵ | | 11 | */↵
|
12 | public class PropertiesChanged extends EBMessage↵ | | 12 | public class SearchSettingsChanged extends EBMessage↵
|
13 | {↵ | | 13 | {↵
|
14 | /**↵ | | 14 | /**↵
|
15 | * Creates a new properties changed message.↵ | | 15 | * Creates a new search and replace settings changed message.↵
|
16 | * @param source The message source↵ | | 16 | * @param source The message source↵
|
17 | */↵ | | 17 | */↵
|
18 | public PropertiesChanged(EBComponent source)↵ | | 18 | public SearchSettingsChanged(EBComponent source)↵
|
19 | {↵ | | 19 | {↵
|
20 | super(source);↵ | | 20 | super(source);↵
|
21 | }↵ | | 21 | }↵
|
22 | } | | 22 | }
|