Directory

History - Vaadin Add-on Directory

HistoryExtension for pushState support History - Vaadin Add-on Directory
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!