public void off() { if (myDisposed) return; setTrackingDocument(false); setLivePreview(null); setTrackingSelection(false); }
public void on() { if (myDisposed) return; mySearchResults.setMatchesLimit(MATCHES_LIMIT); setTrackingDocument(true); if (myChanged) { mySearchResults.clear(); myChanged = false; } setLivePreview(new LivePreview(mySearchResults)); }