package net.mograsim.plugin.tables.mi;
+import static net.mograsim.plugin.preferences.PluginPreferences.MPM_EDITOR_BITS_AS_COLUMN_NAME;
+
import java.util.Arrays;
import org.eclipse.jface.viewers.ColumnLabelProvider;
import net.mograsim.machine.mi.MicroInstructionMemory;
import net.mograsim.machine.mi.parameters.MnemonicFamily;
import net.mograsim.machine.mi.parameters.ParameterClassification;
+import net.mograsim.plugin.MograsimActivator;
import net.mograsim.plugin.tables.AddressLabelProvider;
import net.mograsim.plugin.tables.DisplaySettings;
import net.mograsim.plugin.tables.LazyTableViewer;
int size = miDef.size();
columns = new TableViewerColumn[size + 1];
- TableViewerColumn col = createTableViewerColumn("Address");
+ TableViewerColumn col = createTableViewerColumn("Address", null);
columns[0] = col;
col.setLabelProvider(new AddressLabelProvider()
{
{
int startBit = bit - 1;
int endBit = bit = bit - classes[i].getExpectedBits();
- String columnTitle = calculateColumnTitle(startBit, endBit);
+
+ String columnTitle;
+ String bitString = startBit == endBit ? Integer.toString(startBit) : startBit + "..." + endBit;
+ // TODO add a listener
+ if (MograsimActivator.instance().getPluginPrefs().getBoolean(MPM_EDITOR_BITS_AS_COLUMN_NAME))
+ columnTitle = bitString;
+ else
+ columnTitle = miDef.getParameterTitle(i).orElse(bitString);
columnTitles[i] = columnTitle;
- col = createTableViewerColumn(columnTitle);
+ String columnTooltip = miDef.getParameterDescription(i).orElse(null);
+
+ col = createTableViewerColumn(columnTitle, columnTooltip);
columns[i + 1] = col;
createEditingAndLabel(col, miDef, i);
}
viewer.getTable().setVisible(true);
}
- private static String calculateColumnTitle(int startBit, int endBit)
- {
- return startBit == endBit ? Integer.toString(startBit) : startBit + "..." + endBit;
- }
-
public void bindMicroInstructionMemory(MicroInstructionMemory memory)
{
this.memory = memory;
if (isEditable)
col.setEditingSupport(support);
col.setLabelProvider(provider);
- col.getColumn().setToolTipText(miDef.getParameterDescription(index).orElse(""));
}
- private TableViewerColumn createTableViewerColumn(String title)
+ private TableViewerColumn createTableViewerColumn(String title, String toolTip)
{
TableViewerColumn viewerColumn = new TableViewerColumn(viewer, SWT.NONE);
TableColumn column = viewerColumn.getColumn();
column.setText(title);
+ column.setToolTipText(toolTip);
column.setResizable(true);
column.setMoveable(false);
return viewerColumn;