199200201202203204205206207208209
if (fr.keyKindDetails == null) { item.add(new Action("Enable details formatting for " + f.name) { public void run() { fr.enableDetailFormatting(); } }); } else { item.add(new Action("Disable details formatting for " + f.name) {