JMenu dis_cols = new JMenu(
MessageManager.getString("action.displayed_columns"));
final IdColumns id_cols = ap.av.getIdColumns();
+ id_cols.updateTypeList();
for (final IdColumn col : id_cols.getIdColumns())
{
JMenuItem col_entry = new JCheckBoxMenuItem(col.getLabel(),