public static void previousPage(final Event e, final CraftView view) {
final int newPage = view.getCurrentPage() - 1;
if (newPage < 0) {
return;
}
view.setCurrentPage(newPage);
}
public static void nextPage(final Event e, final CraftView view) {
final int newPage = view.getCurrentPage() + 1;
if (newPage >= view.getCurrentMaxPages()) {
return;
}
view.setCurrentPage(newPage);
}
public static void validNameFilter(final Event event, final TextEditor textEditor) {
final CraftView craftView =
(CraftView)
PropertiesProvider.getInstance()
.getObjectProperty("craft", event.getTarget().getElementMap().getId());
final String text = textEditor.getText();
if (!text.equals(craftView.getNameFilter())) {
craftView.setNameFilter(text);
}
}
public static void onCraftTypeChanged(final SelectionChangedEvent e, final CraftView view) {
final byte id = (byte) (e.isSelected() ? 0 : 1);
view.setCurrentType(CraftType.getFromId(id));
PropertiesProvider.getInstance().setPropertyValue("craftDisplayType", id);
}