// set dimensions of table columns
getColumnModel().getColumn(0).setWidth(45);
getColumnModel().getColumn(0).setMaxWidth(45);
getColumnModel().getColumn(0).setMinWidth(45);
getColumnModel().getColumn(0).setCellRenderer(new IconAwareCellRenderer());
getTableHeader().setReorderingAllowed(false);
// react on double click on table item -> select area in editor
// specified by token
addMouseListener(new MouseAdapter() {