+ 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()));
+ }