788bce7904
this makes the url router adjust the url when the navigation path is changed, instead of doing urlRouter.applyUrl() and urlRouter.history.pushUrl(). This history field and applyUrl method on URLRouter are now private, as the URLRouter should only be used to generate urls you want to put in an <a href="..."></a>, anything else should use navigator.push() |
||
---|---|---|
.. | ||
css | ||
dom | ||
general | ||
login | ||
session | ||
common.js | ||
RootView.js | ||
view-gallery.html | ||
WebPlatform.js |