org.gjt.sp.jedit.msg
Class SearchSettingsChanged

java.lang.Object
  extended byorg.gjt.sp.jedit.EBMessage
      extended byorg.gjt.sp.jedit.msg.SearchSettingsChanged

public class SearchSettingsChanged
extends EBMessage

Message sent when search and replace settings change.

Since:
jEdit 2.3pre1
Version:
$Id: SearchSettingsChanged.java,v 1.2 2002/05/14 07:55:49 spestov Exp $
Author:
Slava Pestov

Nested Class Summary
 
Nested classes inherited from class org.gjt.sp.jedit.EBMessage
EBMessage.NonVetoable
 
Constructor Summary
SearchSettingsChanged(EBComponent source)
          Creates a new search and replace settings changed message.
 
Methods inherited from class org.gjt.sp.jedit.EBMessage
getSource, isVetoed, paramString, toString, veto
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SearchSettingsChanged

public SearchSettingsChanged(EBComponent source)
Creates a new search and replace settings changed message.

Parameters:
source - The message source