private void refreshRecentFiles() {
log.fine("refreshRecentFiles()");
menuRecentFiles.removeAll();
if (recentFiles.getRecentFiles().size() > 0) {
for (File f : recentFiles.getRecentFiles()) {
TaggedMenuItem mi = new TaggedMenuItem();
mi.setTag(f);
mi.setText(f.getName());
mi.setToolTipText(f.getAbsolutePath());
mi.addActionListener(menuActionListener);
menuRecentFiles.add(mi);
}
}
}