Uses of Class
org.gjt.sp.jedit.msg.SearchSettingsChanged

Packages that use SearchSettingsChanged

org.gjt.sp.jedit

This package contains jEdit's core classes.

Uses of SearchSettingsChanged in org.gjt.sp.jedit

Methods in org.gjt.sp.jedit with parameters of type SearchSettingsChanged

void	View.handleSearchSettingsChanged(SearchSettingsChanged msg)