AnalyticalGraphicsInc/cesium — pull request #143 by kristiancalhoun (2012-07-31 19:08:06+00:00)
Title: JsDoc Filter

Previously a browser cookie was used to maintain the filter type between searches as the page refreshed. This caused the menu to "flicker" and the filter to not change when viewing the documentation locally. This commit uses a URL query parameter in combination with a hidden form field to keep track of the current filter.