- deleteColumns();
- viewer.setInput(memory);
- createColumns();
- }
- }
-
- private void deleteColumns()
- {
- for (TableViewerColumn col : columns)
- col.getColumn().dispose();
- }
-
- private void createColumns()
- {
- int size = miDef.size();
- columns = new TableViewerColumn[size + 1];
-
- TableViewerColumn col = createTableViewerColumn("Address", generateLongestHexStrings(12));
- columns[0] = col;
- col.setLabelProvider(new AddressLabelProvider());
-
- int bit = miDef.sizeInBits();
- ParameterClassification[] classes = miDef.getParameterClassifications();
-
- for (int i = 0; i < size; i++)
- {
- int startBit = bit - 1;
- int endBit = bit = bit - classes[i].getExpectedBits();
- String name = startBit == endBit ? Integer.toString(startBit) : startBit + "..." + endBit;
-
- String[] longestPossibleContents;
- switch (classes[i].getExpectedType())
+ LazyTableViewer viewer = table.getTableViewer();
+ viewer.highlightRow(highlighted, false);
+ highlighted = index;
+ if (index != -1)