/*
* Calculates the height of the header.
*/
/* package */ int getHeaderHeight() {
int headerHeight = fLeftLabel.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).y;
headerHeight =
Math.max(headerHeight, fDirectionLabel.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).y);
return headerHeight;
}
/** @see PreferencePage#createContents(Composite) */
protected Control createContents(Composite ancestor) {
Composite parent = new Composite(ancestor, SWT.NULL);
GridLayout layout = new GridLayout();
layout.numColumns = 2;
layout.marginHeight = 0;
layout.marginWidth = 0;
parent.setLayout(layout);
// layout the top table & its buttons
Label label = new Label(parent, SWT.LEFT);
label.setText(XMLCompareMessages.XMLComparePreference_topTableLabel);
GridData data = new GridData();
data.horizontalAlignment = GridData.FILL;
data.horizontalSpan = 2;
label.setLayoutData(data);
fIdMapsTable = new Table(parent, SWT.SINGLE | SWT.BORDER | SWT.FULL_SELECTION);
fIdMapsTable.setHeaderVisible(true);
data = new GridData(GridData.FILL_BOTH);
data.heightHint = fIdMapsTable.getItemHeight() * 4;
fIdMapsTable.setLayoutData(data);
fIdMapsTable.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
selectionChanged();
}
});
String column2Text = XMLCompareMessages.XMLComparePreference_topTableColumn2;
String column3Text = XMLCompareMessages.XMLComparePreference_topTableColumn3;
ColumnLayoutData columnLayouts[] = {
new ColumnWeightData(1),
new ColumnPixelData(convertWidthInCharsToPixels(column2Text.length() + 2), true),
new ColumnPixelData(convertWidthInCharsToPixels(column3Text.length() + 5), true)
};
TableLayout tablelayout = new TableLayout();
fIdMapsTable.setLayout(tablelayout);
for (int i = 0; i < 3; i++) tablelayout.addColumnData(columnLayouts[i]);
TableColumn column = new TableColumn(fIdMapsTable, SWT.NONE);
column.setText(XMLCompareMessages.XMLComparePreference_topTableColumn1);
column = new TableColumn(fIdMapsTable, SWT.NONE);
column.setText(column2Text);
column = new TableColumn(fIdMapsTable, SWT.NONE);
column.setText(column3Text);
fillIdMapsTable();
Composite buttons = new Composite(parent, SWT.NULL);
buttons.setLayout(new GridLayout());
data = new GridData();
data.verticalAlignment = GridData.FILL;
data.horizontalAlignment = GridData.FILL;
buttons.setLayoutData(data);
fAddIdMapButton = new Button(buttons, SWT.PUSH);
fAddIdMapButton.setText(XMLCompareMessages.XMLComparePreference_topAdd);
fAddIdMapButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
addIdMap(fAddIdMapButton.getShell());
}
});
data = new GridData();
data.horizontalAlignment = GridData.FILL;
// data.heightHint = convertVerticalDLUsToPixels(IDialogConstants.BUTTON_HEIGHT);
int widthHint = convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH);
data.widthHint =
Math.max(widthHint, fAddIdMapButton.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x);
fAddIdMapButton.setLayoutData(data);
fRenameIdMapButton = new Button(buttons, SWT.PUSH);
fRenameIdMapButton.setText(XMLCompareMessages.XMLComparePreference_topRename);
fRenameIdMapButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
renameIdMap(fRenameIdMapButton.getShell());
}
});
data = new GridData();
data.horizontalAlignment = GridData.FILL;
// data.heightHint = convertVerticalDLUsToPixels(IDialogConstants.BUTTON_HEIGHT);
widthHint = convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH);
data.widthHint =
Math.max(widthHint, fAddIdMapButton.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x);
fRenameIdMapButton.setLayoutData(data);
fRemoveIdMapButton = new Button(buttons, SWT.PUSH);
fRemoveIdMapButton.setText(XMLCompareMessages.XMLComparePreference_topRemove);
fRemoveIdMapButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
removeIdMap(fRemoveIdMapButton.getShell());
}
});
data = new GridData();
data.horizontalAlignment = GridData.FILL;
// data.heightHint = convertVerticalDLUsToPixels(IDialogConstants.BUTTON_HEIGHT);
widthHint = convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH);
data.widthHint =
Math.max(widthHint, fRemoveIdMapButton.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x);
fRemoveIdMapButton.setLayoutData(data);
createSpacer(buttons);
fEditIdMapButton = new Button(buttons, SWT.PUSH);
fEditIdMapButton.setText(XMLCompareMessages.XMLComparePreference_topEdit);
fEditIdMapButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
editIdMap(fEditIdMapButton.getShell());
}
});
data = new GridData();
data.horizontalAlignment = GridData.FILL;
// data.heightHint = convertVerticalDLUsToPixels(IDialogConstants.BUTTON_HEIGHT);
widthHint = convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH);
data.widthHint =
Math.max(widthHint, fEditIdMapButton.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x);
fEditIdMapButton.setLayoutData(data);
// Spacer
label = new Label(parent, SWT.LEFT);
data = new GridData();
data.horizontalAlignment = GridData.FILL;
data.horizontalSpan = 2;
label.setLayoutData(data);
// layout the middle table & its buttons
label = new Label(parent, SWT.LEFT);
label.setText(XMLCompareMessages.XMLComparePreference_middleTableLabel);
data = new GridData();
data.horizontalAlignment = GridData.FILL;
data.horizontalSpan = 2;
label.setLayoutData(data);
fMappingsTable = new Table(parent, SWT.SINGLE | SWT.BORDER | SWT.FULL_SELECTION);
fMappingsTable.setHeaderVisible(true);
data = new GridData(GridData.FILL_BOTH);
data.heightHint = fMappingsTable.getItemHeight() * 4;
data.widthHint = convertWidthInCharsToPixels(70);
fMappingsTable.setLayoutData(data);
column3Text = XMLCompareMessages.XMLComparePreference_middleTableColumn3;
String column4Text = XMLCompareMessages.XMLComparePreference_middleTableColumn4;
columnLayouts =
new ColumnLayoutData[] {
new ColumnWeightData(10),
new ColumnWeightData(18),
new ColumnPixelData(convertWidthInCharsToPixels(column3Text.length() + 1), true),
new ColumnPixelData(convertWidthInCharsToPixels(column4Text.length() + 3), true)
};
tablelayout = new TableLayout();
fMappingsTable.setLayout(tablelayout);
for (int i = 0; i < 4; i++) tablelayout.addColumnData(columnLayouts[i]);
column = new TableColumn(fMappingsTable, SWT.NONE);
column.setText(XMLCompareMessages.XMLComparePreference_middleTableColumn1);
column = new TableColumn(fMappingsTable, SWT.NONE);
column.setText(XMLCompareMessages.XMLComparePreference_middleTableColumn2);
column = new TableColumn(fMappingsTable, SWT.NONE);
column.setText(column3Text);
column = new TableColumn(fMappingsTable, SWT.NONE);
column.setText(column4Text);
buttons = new Composite(parent, SWT.NULL);
buttons.setLayoutData(new GridData(GridData.VERTICAL_ALIGN_BEGINNING));
layout = new GridLayout();
layout.marginHeight = 0;
layout.marginWidth = 0;
buttons.setLayout(layout);
fNewMappingsButton = new Button(buttons, SWT.PUSH);
fNewMappingsButton.setLayoutData(getButtonGridData(fNewMappingsButton));
fNewMappingsButton.setText(XMLCompareMessages.XMLComparePreference_middleNew);
fNewMappingsButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
addMapping(fAddIdMapButton.getShell());
}
});
fEditMappingsButton = new Button(buttons, SWT.PUSH);
fEditMappingsButton.setLayoutData(getButtonGridData(fEditMappingsButton));
fEditMappingsButton.setText(XMLCompareMessages.XMLComparePreference_middleEdit);
fEditMappingsButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
editMapping(fEditMappingsButton.getShell());
}
});
fRemoveMappingsButton = new Button(buttons, SWT.PUSH);
fRemoveMappingsButton.setLayoutData(getButtonGridData(fRemoveMappingsButton));
fRemoveMappingsButton.setText(XMLCompareMessages.XMLComparePreference_middleRemove);
fRemoveMappingsButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
removeMapping(fRemoveMappingsButton.getShell());
}
});
createSpacer(buttons);
// layout the botton table & its buttons
label = new Label(parent, SWT.LEFT);
label.setText(XMLCompareMessages.XMLComparePreference_bottomTableLabel);
data = new GridData();
data.horizontalAlignment = GridData.FILL;
data.horizontalSpan = 2;
label.setLayoutData(data);
fOrderedTable = new Table(parent, SWT.SINGLE | SWT.BORDER | SWT.FULL_SELECTION);
fOrderedTable.setHeaderVisible(true);
data = new GridData(GridData.FILL_BOTH);
data.heightHint = fOrderedTable.getItemHeight() * 2;
data.widthHint = convertWidthInCharsToPixels(70);
fOrderedTable.setLayoutData(data);
columnLayouts = new ColumnLayoutData[] {new ColumnWeightData(1), new ColumnWeightData(1)};
tablelayout = new TableLayout();
fOrderedTable.setLayout(tablelayout);
for (int i = 0; i < 2; i++) tablelayout.addColumnData(columnLayouts[i]);
column = new TableColumn(fOrderedTable, SWT.NONE);
column.setText(XMLCompareMessages.XMLComparePreference_bottomTableColumn1);
column = new TableColumn(fOrderedTable, SWT.NONE);
column.setText(XMLCompareMessages.XMLComparePreference_bottomTableColumn2);
buttons = new Composite(parent, SWT.NULL);
buttons.setLayoutData(new GridData(GridData.VERTICAL_ALIGN_BEGINNING));
layout = new GridLayout();
layout.marginHeight = 0;
layout.marginWidth = 0;
buttons.setLayout(layout);
fNewOrderedButton = new Button(buttons, SWT.PUSH);
fNewOrderedButton.setLayoutData(getButtonGridData(fNewOrderedButton));
fNewOrderedButton.setText(XMLCompareMessages.XMLComparePreference_bottomNew);
fNewOrderedButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
addOrdered(fNewOrderedButton.getShell());
}
});
fEditOrderedButton = new Button(buttons, SWT.PUSH);
fEditOrderedButton.setLayoutData(getButtonGridData(fEditOrderedButton));
fEditOrderedButton.setText(XMLCompareMessages.XMLComparePreference_bottomEdit);
fEditOrderedButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
editOrdered(fEditOrderedButton.getShell());
}
});
fRemoveOrderedButton = new Button(buttons, SWT.PUSH);
fRemoveOrderedButton.setLayoutData(getButtonGridData(fRemoveOrderedButton));
fRemoveOrderedButton.setText(XMLCompareMessages.XMLComparePreference_bottomRemove);
fRemoveOrderedButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent e) {
removeOrdered(fRemoveOrderedButton.getShell());
}
});
createSpacer(buttons);
fIdMapsTable.setSelection(0);
fIdMapsTable.setFocus();
selectionChanged();
return parent;
}