import jalview.gui.IProgressIndicator;
import jalview.gui.JvSwingUtils;
import jalview.gui.SequenceFetcher;
-import jalview.io.cache.AppCache;
import jalview.io.cache.JvCacheableInputBox;
import jalview.util.MessageManager;
getTempUserPrefs().put("FTSPanel.x", mainFrame.getX());
getTempUserPrefs().put("FTSPanel.y", mainFrame.getY());
mainFrame.dispose();
- AppCache.getInstance().persistCache(getCacheKey());
+ txt_search.persistCache();
}
public class DeferredTextInputListener implements DocumentListener