hit search button after typing would never jump past the first page which had a match due to the searchboxDirty being cleared only when you hit ENTER key, which you don't have to. Fixed: now the `searchboxDirty` is cleared once you run the search, which is much more sensible.
hit search button after typing would never jump past the first page which had a match due to the searchboxDirty being cleared only when you hit ENTER key, which you don't have to. Fixed: now the `searchboxDirty` is cleared once you run the search, which is much more sensible.

GerHobbelt/reveal.js,GerHobbelt/reveal.js,GerHobbelt/reveal.js