editors[TracePatternColumn.MODULE_NAME.ordinal()] = new TextCellEditor(table);
editors[TracePatternColumn.FUNCTION_NAME.ordinal()] = new TextCellEditor(table);
editors[TracePatternColumn.ARITY.ordinal()] = new TextCellEditor(table);
editors[TracePatternColumn.MATCH_SPEC.ordinal()] = new MatchSpecCellEditor(table);
functionsTableViewer.setCellEditors(editors);
functionsTableViewer.setCellModifier(new TracePatternCellModifier(
functionsTableViewer));
}