org.gjt.sp.jedit.OptionGroup.insertionSort(String,Object)
org.gjt.sp.jedit.search.SearchBar.SearchBar(View,boolean)
org.gjt.sp.jedit.search.SearchBar.incrementalSearch(int,boolean)
org.gjt.sp.jedit.search.SearchBar.timerIncrementalSearch(int,boolean)