- @SuppressWarnings("unused")
- @Override
- public void createPartControl(Composite parent)
- {
- provider = new InstructionTableContentProvider();
- GridLayout layout = new GridLayout(3, false);
- setupMenuButtons(parent);
-
- displaySettings = new DisplaySettings();
- new RadixSelector(parent, displaySettings);
-
- parent.setLayout(layout);
- viewer = new LazyTableViewer(parent, SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL | SWT.FULL_SELECTION | SWT.BORDER | SWT.VIRTUAL);
-
- Table table = viewer.getTable();
- table.setHeaderVisible(true);
- table.setLinesVisible(true);
- viewer.setUseHashlookup(true);
- viewer.setContentProvider(provider);
- getSite().setSelectionProvider(viewer);
-
- GridData viewerData = new GridData(GridData.GRAB_HORIZONTAL | GridData.GRAB_VERTICAL | GridData.FILL_BOTH);
- viewerData.horizontalSpan = 3;
- viewer.getTable().setLayoutData(viewerData);
-
- displaySettings.addObserver(() -> viewer.refresh());
- MachineContext.getInstance().registerObserver(this);
- setMachine(Optional.ofNullable(MachineContext.getInstance().getMachine()));
- }
-
- public void highlight(int index)
- {
- viewer.highlightRow(highlighted, false);
- viewer.highlightRow(index, true);
- viewer.getTable().setTopIndex(index);
- }