private final TableEditorTableModel tableModel;
public TableEditorView(TableEditorTableModel tableModel, TableEditorTableDefinition tableDefinition) {
</BUG>
super(tableModel,tableDefinition);
<BUG>this.tableModel = tableModel;
cachedTableModel = new TableEditorCachedTableModel(tableModel);</BUG>
setSize("100%", "100%");
tableDefinition.setRowRenderer( new TableEditorRowRenderer());
setPageSize(50);
setEmptyTableWidget(new HTML(

import com.google.inject.Inject;
import com.weborient.codemirror.client.ParserSyntax;
import com.weborient.codemirror.client.SyntaxToggleWidget;
public class TableEditorView extends PagingScrollTable<TransUnit> implements
TableEditorPresenter.Display, HasSelectionHandlers<TransUnit>, HasPageNavigation{
public TableEditorView(TableEditorCachedTableModel tableModel, TableEditorTableDefinition tableDefinition) {
super(tableModel,tableDefinition);
setSize("100%", "100%");
tableDefinition.setRowRenderer( new TableEditorRowRenderer());
setPageSize(50);
setEmptyTableWidget(new HTML(
