Directory

History

HistoryExtension for pushState support

The HistoryExtension allows you to harness the power of the HTML5 history API (often called pushState).

To use this extension, you need a browser that supports the HTML5 history API, which is all modern browsers.

This extension is a JavaScriptExtension, which means that no widgetset compilation is required when taking this add-on into use!

Sample code

Map<String, String> stateData = new HashMap<>();
stateData.put("chosenValue", "foo");
historyExtension.pushState(stateData, "/myNewUrl.html");

NavigationStateManager pushStateManager = historyExtension
        .createNavigationStateManager(contextPath + APP_URL);
navigator = new Navigator(this, pushStateManager, this);
navigator.addView("", tableView);
navigator.addView("/table", tableView);
navigator.addView("/about", aboutView);

Links

• Online Demo
• Issue Tracker
• Source Code
• Discussion Forum
• Example UI

Compatibility