-
Dirk Wilden authored
-added option to ensure recent files are loaded with right options git-svn-id: http://www.openflipper.org/svnrepo/OpenFlipper/branches/Free@3671 383ad7c9-94d9-4d36-a494-682f7c89f535
01375554
-added option to ensure recent files are loaded with right options git-svn-id: http://www.openflipper.org/svnrepo/OpenFlipper/branches/Free@3671 383ad7c9-94d9-4d36-a494-682f7c89f535