Class HistoryManager


  • public final class HistoryManager
    extends java.lang.Object
    A class for managing search/replace history
    • Method Detail

      • addSearchItem

        public static void addSearchItem​(java.lang.String item)
      • addReplaceItem

        public static void addReplaceItem​(java.lang.String item)
      • getSearchItems

        public static java.lang.String[] getSearchItems()
      • getReplaceItems

        public static java.lang.String[] getReplaceItems()
      • save

        public static void save()