A HTML 5 history wrapper for Vaadin server-side.
Example usage:
HistoryExtension history = HistoryExtension.extend(myUI, myPopStateListener);
// init app state
history.replaceState(getCurrentAppState(), getPage().getLocation().toString());
addComponent(new Button("next step", new ClickListener() {
public void buttonClick(final ClickEvent event) {
history.pushState(getNextAppState(), "nextStep.html");
}
}));
For complete demos, check out [simpledemo][sdlink] and [tabledemo][tdlink] [sdlink]: https://github.com/wolfie/HistoryExtension/tree/master/src/com/github/wolfie/history/simpledemo [tdlink]: https://github.com/wolfie/HistoryExtension/tree/master/src/com/github/wolfie/history/tabledemo