public InstructionTable(Composite parent, DisplaySettings displaySettings, IThemeManager themeManager)
public InstructionTable(Composite parent, DisplaySettings displaySettings, IThemeManager themeManager)
+ {
+ this(parent, displaySettings, themeManager, true);
+ }
+
+ public InstructionTable(Composite parent, DisplaySettings displaySettings, IThemeManager themeManager, boolean allowEditing)
{
viewer = new LazyTableViewer(parent, SWT.FULL_SELECTION | SWT.BORDER | SWT.VIRTUAL);
this.displaySettings = displaySettings;
this.cProv = new FontAndColorHelper(viewer, themeManager);
this.highlighter = new RowHighlighter(viewer, cProv);
{
viewer = new LazyTableViewer(parent, SWT.FULL_SELECTION | SWT.BORDER | SWT.VIRTUAL);
this.displaySettings = displaySettings;
this.cProv = new FontAndColorHelper(viewer, themeManager);
this.highlighter = new RowHighlighter(viewer, cProv);
- support = new IntegerEditingSupport(viewer, miDef, index, displaySettings, this.provider);
+ support = isEditable ? new IntegerEditingSupport(viewer, miDef, index, displaySettings, this.provider) : null;
- support = new MnemonicEditingSupport(viewer, miDef, index, this.provider);
+ support = isEditable ? new MnemonicEditingSupport(viewer, miDef, index, this.provider) : null;
provider = new ParameterLabelProvider(cProv, index);
break;
default:
throw new IllegalStateException(
"Unable to create EditingSupport for unknown ParameterType " + parameterClassification.getExpectedType());
}
provider = new ParameterLabelProvider(cProv, index);
break;
default:
throw new IllegalStateException(
"Unable to create EditingSupport for unknown ParameterType " + parameterClassification.getExpectedType());
}
col.setLabelProvider(provider);
col.getColumn().setToolTipText(miDef.getParameterDescription(index).orElse(""));
}
col.setLabelProvider(provider);
col.getColumn().setToolTipText(miDef.getParameterDescription(index).orElse(""));
}