Class FormatedFileHistory


public class FormatedFileHistory extends FileHistory
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$