// undo-redo buttons
private void addUndoPanel() {
PerspectiveResources pr =
((ImageFactory) GWT.create(ImageFactory.class)).getPerspectiveResources();
// Image redoImage = new Image(GuiResources.INSTANCE.button_redo());
// redoButton = new StandardButton(pr.button_redo(), null, 32);
// redoButton.getElement().appendChild(redoImage.getElement());
// redoButton.addFastClickHandler(new FastClickHandler(){
// @Override
// public void onClick(Widget source) {
// app.getGuiManager().redo();
// app.hideKeyboard();
// }
// });
redoButton = new StandardButton(pr.menu_header_redo(), null, 32);
redoButton.getUpHoveringFace().setImage(getImage(pr.menu_header_redo_hover(), 32));
redoButton.addFastClickHandler(
new FastClickHandler() {
@Override
public void onClick(Widget source) {
app.getGuiManager().redo();
app.hideKeyboard();
}
});
redoButton.addStyleName("redoButton");
// redoButton.getElement().addClassName("button");
redoButton.getElement().getStyle().setOverflow(Overflow.HIDDEN);
// Image undoImage = new Image(GuiResources.INSTANCE.button_undo());
// undoButton = new StandardButton(pr.button_undo(), null, 32);
// undoButton.getElement().appendChild(undoImage.getElement());
// undoButton.addFastClickHandler(new FastClickHandler(){
// @Override
// public void onClick(Widget source) {
// app.getGuiManager().undo();
// app.hideKeyboard();
// }
// });
undoButton = new StandardButton(pr.menu_header_undo(), null, 32);
undoButton.getUpHoveringFace().setImage(getImage(pr.menu_header_undo_hover(), 32));
undoButton.addFastClickHandler(
new FastClickHandler() {
@Override
public void onClick(Widget source) {
app.getGuiManager().undo();
app.hideKeyboard();
}
});
undoButton.addStyleName("undoButton");
// undoButton.getElement().addClassName("button");
// toolBarPanel.add(redoButton);
updateUndoActions();
rightButtonPanel.add(undoButton);
rightButtonPanel.add(redoButton);
setLabels();
}
