207208209210211212213214215216217
} else { item.add(new Action("Disable details formatting for " + f.name) { public void run() { fr.disableDetailFormatting(); } }); } } }