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 checkLevelSorter(final Event event) {
((CraftView)
PropertiesProvider.getInstance()
.getObjectProperty("craft", event.getTarget().getElementMap().getId()))
.toggleLevelSorter();
}
public static void openLinkedBook(final Event event) {
((CraftView)
PropertiesProvider.getInstance()
.getObjectProperty("craft", event.getTarget().getElementMap().getId()))
.displayBook();
}