/**
* 通过将检索结果结合中的记录分页加载的方法，实现控制检索结果记录的分页显示与快速加载
*
* @param facttable 显示检索结果的GUI表格对象
* @param pagenum 显示在表格对象中的检索结果页码，从1开始计算
*/
private void openCurrentTable(final int pagenum) {
table.clearAll(); // 清空表格所有项目中的数据
// 数据记录在检索结果结合中的下标开始值
final int recordstart = (pagenum - 1) * pageSize;
// 当前表格能显示的最后一条记录在检索结果集合中的索引号
int end = recordstart + pageSize;
// 若表格可显示的记录大于检索结果记录的总数，就只显示到最后一条检索结果记录
final int recordend = Math.min(end, stationData.getRowCount()); // 显示的最后一条记录在检索结果集合中的索引号
// 当前页面显示的检索结果记录数
final int currentdispnum = recordend - recordstart;
// 根据当前的页码，从检索结果集合中加载相应的数据到表的item域中
tableViewer.setInput(stationData.getRow(recordstart, recordstart + currentdispnum)); // 自动输入数据
tableViewer.refresh(); // 刷新表格false
}
/*
* 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;
}