zervo/seb-server
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Improved list navigation

Browse source
This commit is contained in:
anhefti 2021-03-04 14:13:18 +01:00
parent caf35ad657
commit 8a3b84461c
1 changed files with 9 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/main/java/ch/ethz/seb/sebserver/gui/table/TableNavigator.java
View file

@ -22,6 +22,8 @@ import ch.ethz.seb.sebserver.gui.widget.WidgetFactory.CustomVariant;
public class TableNavigator { public class TableNavigator {
private final static int PAGE_NAV_SIZE = 9; private final static int PAGE_NAV_SIZE = 9;
private final static int NAV_BUTTON_WIDTH = 35;
private final static int NAV_BUTON_HEIGHT = 16;
private final Composite composite; private final Composite composite;
private final EntityTable<?> entityTable; private final EntityTable<?> entityTable;
@ -114,7 +116,11 @@ public class TableNavigator {
final boolean selectable, final boolean selectable,
final Composite parent) { final Composite parent) {
final GridData rowData = new GridData(22, 16); final GridData rowData = new GridData(NAV_BUTTON_WIDTH, NAV_BUTON_HEIGHT);
rowData.verticalAlignment = SWT.CENTER;
rowData.horizontalAlignment = SWT.CENTER;
rowData.verticalIndent = 0;
final Label pageLabel = new Label(parent, SWT.NONE); final Label pageLabel = new Label(parent, SWT.NONE);
pageLabel.setText(" " + page + " "); pageLabel.setText(" " + page + " ");
pageLabel.setLayoutData(rowData); pageLabel.setLayoutData(rowData);
@ -131,7 +137,7 @@ public class TableNavigator {
final int numberOfPages, final int numberOfPages,
final Composite parent) { final Composite parent) {
final GridData rowData = new GridData(22, 16); final GridData rowData = new GridData(NAV_BUTTON_WIDTH, NAV_BUTON_HEIGHT);
final Label forward = new Label(parent, SWT.NONE); final Label forward = new Label(parent, SWT.NONE);
forward.setText(">"); forward.setText(">");
forward.setData(RWT.CUSTOM_VARIANT, CustomVariant.LIST_NAVIGATION.key); forward.setData(RWT.CUSTOM_VARIANT, CustomVariant.LIST_NAVIGATION.key);
@ -160,7 +166,7 @@ public class TableNavigator {
final int pageNumber, final int pageNumber,
final Composite parent) { final Composite parent) {
final GridData rowData = new GridData(22, 16); final GridData rowData = new GridData(NAV_BUTTON_WIDTH, NAV_BUTON_HEIGHT);
final Label start = new Label(parent, SWT.NONE); final Label start = new Label(parent, SWT.NONE);
start.setText("<<"); start.setText("<<");
start.setLayoutData(rowData); start.setLayoutData(rowData);