Class FileHistory

  • Direct Known Subclasses:
    FormatedFileHistory

    public class FileHistory
    extends UserInputHistory
    FileHistory is a fixed-size array for the pathes of files opened/saved by a user. If a new file is added and the file history is full, the list of registered files is shifted so that the oldest file path is beeing skipped..
    Version:
    $Revision$ $Date$
    • Constructor Detail

      • FileHistory

        public FileHistory​(int maxNumEntries,
                           String propertyKey)