| java.lang.Object tide.outputtabs.search.SearchResultsManager
SearchResultsManager | final public class SearchResultsManager (Code) | | Stored per file.
|
clear | public void clear()(Code) | | |
getMaxNumberOfRegexSubgroups | public int getMaxNumberOfRegexSubgroups()(Code) | | |
getTotalHitsCount | public int getTotalHitsCount()(Code) | | |
lineInsertOccured | public void lineInsertOccured(String javaName, int linePos, int diff)(Code) | | |
lineRemoved | public void lineRemoved(String javaName, int lineStart, int lineEnd)(Code) | | |
restoreFromFile | public boolean restoreFromFile(ProjectSettings settings) throws Exception(Code) | | Should be called when all the types have been loaded !
true only if a valid restoration was performed (file existing, ...) |
setOldSearchResults | public void setOldSearchResults(String st)(Code) | | Isn't that luxury ? even the oldest tIDE format is recognized.
|
storeToFile_ | public void storeToFile_(ProjectSettings settings) throws Exception(Code) | | Called after project close (on exit or when loading another project)
|
|
|