java.lang.Object
org.gjt.sp.jedit.EBMessage
org.gjt.sp.jedit.msg.SearchSettingsChanged
Message sent when search and replace settings change.
- Since:
- jEdit 2.3pre1
- Version:
- $Id: SearchSettingsChanged.java 12504 2008-04-22 23:12:43Z ezust $
- Author:
- Slava Pestov
-
Constructor Summary
ConstructorDescriptionSearchSettingsChanged
(EBComponent source) Creates a new search and replace settings changed message. -
Method Summary
Methods inherited from class org.gjt.sp.jedit.EBMessage
getSource, paramString, toString
-
Constructor Details
-
SearchSettingsChanged
Creates a new search and replace settings changed message.- Parameters:
source
- The message source
-