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 2020-01-06 14:14:41 +01:00
parent e54464a601
commit 0182bf0589
2 changed files with 16 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -10,8 +10,11 @@ package ch.ethz.seb.sebserver.gui.table;
import org.eclipse.rap.rwt.RWT;
import org.eclipse.swt.SWT;
import org.eclipse.swt.graphics.Color;
import org.eclipse.swt.graphics.RGB;
import org.eclipse.swt.layout.GridData;
import org.eclipse.swt.layout.GridLayout;
import org.eclipse.swt.layout.RowData;
import org.eclipse.swt.layout.RowLayout;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Label;
@ -22,17 +25,17 @@ import ch.ethz.seb.sebserver.gui.widget.WidgetFactory.CustomVariant;
public class TableNavigator {
private final static int PAGE_NAV_SIZE = 10;
private final static int PAGE_NAV_SIZE = 9;
private final Composite composite;
private final EntityTable<?> entityTable;
TableNavigator(final EntityTable<?> entityTable) {
this.composite = new Composite(entityTable.composite, SWT.NONE);
final GridData gridData = new GridData(SWT.FILL, SWT.TOP, true, false);
final GridData gridData = new GridData(SWT.LEFT, SWT.CENTER, true, true);
this.composite.setLayoutData(gridData);
final GridLayout layout = new GridLayout(3, true);
layout.marginLeft = 20;
final GridLayout layout = new GridLayout(3, false);
layout.marginLeft = 10;
this.composite.setLayout(layout);
this.entityTable = entityTable;
@ -66,7 +69,6 @@ public class TableNavigator {
final GridData gridData = new GridData(SWT.CENTER, SWT.TOP, true, false);
numNav.setLayoutData(gridData);
final RowLayout rowLayout = new RowLayout(SWT.HORIZONTAL);
numNav.setLayout(rowLayout);
if (numberOfPages > 1) {
@ -95,7 +97,11 @@ public class TableNavigator {
private void createPagingHeader(final int page, final int of) {
final Label pageHeader = new Label(this.composite, SWT.NONE);
pageHeader.setLayoutData(new GridData(SWT.FILL, SWT.TOP, true, false));
final GridData gridData = new GridData(SWT.FILL, SWT.CENTER, true, true);
gridData.widthHint = 100;
gridData.minimumWidth = 100;
gridData.verticalAlignment = SWT.CENTER;
pageHeader.setLayoutData(gridData);
pageHeader.setText("Page " + page + "/" + of);
}
@ -107,11 +113,14 @@ public class TableNavigator {
final Label pageLabel = new Label(parent, SWT.NONE);
pageLabel.setText(" " + String.valueOf(page) + " ");
pageLabel.setLayoutData(new RowData(22, 16));
pageLabel.setAlignment(SWT.CENTER);
if (selectable) {
pageLabel.setData(RWT.CUSTOM_VARIANT, "action");
pageLabel.addListener(SWT.MouseDown, event -> {
this.entityTable.selectPage(page);
});
pageLabel.setBackground(new Color(parent.getDisplay(), new RGB(245, 245, 245)));
}
}

2
src/test/java/ch/ethz/seb/sebserver/HTTPClientBot.java
View file

@ -101,7 +101,7 @@ public class HTTPClientBot {
// this.institutionId = properties.getProperty("institutionId", "1");
this.examId = properties.getProperty("examId", "2");
this.institutionId = properties.getProperty("institutionId", "1");
this.numberOfConnections = Integer.parseInt(properties.getProperty("numberOfConnections", "4"));
this.numberOfConnections = Integer.parseInt(properties.getProperty("numberOfConnections", "100"));
this.pingInterval = Long.parseLong(properties.getProperty("pingInterval", "200"));
this.establishDelay = Long.parseLong(properties.getProperty("establishDelay", "0"));
this.pingPause = Long.parseLong(properties.getProperty("pingPause", "20000"));