diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-07-26 16:51:54 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-26 16:51:54 -0400 |
| commit | 208217198e9228699e7299f06d3701899d44d8bb (patch) | |
| tree | aae11d6af70bac0c61774b8f611d9117101a288f /ext/fg/float.html | |
| parent | e153971cd4a5768a6c7dc9df36cf446cf298227d (diff) | |
Display history refactor (#691)
* Create DisplayHistory
* Change arguments for _setContentTermsOrKanji
* Set up history-driven content updates
* Use new history only
* Load definitions if missing
* Refactor definitions getting
* Add support for wildcards
* Move definitions setup
* Add events
* Allow state change even if there is no history state
* Update search page to use history
* Fix history overwriting
* Fix search page not seeing state chang events during prepare
* Update state if necessary
* Don't reassign query text if the same
* Remove DisplayContext
* Initialize with real history state
* Track URL
* Update DisplayHistory to support pseudo-history
* Configure history settings on search page
* Fix state
* Use full URL
* Change data format of setContent
* Rename details to content
* Update event arguments
* Fix animation
* Remove old state changes
* Clear content properly
* Remove set/clear content overrides
* Fix setting up event listeners for content clear
* Make clearContent private
* Make focus opt-in
* Validate source
* Add unloaded type
* Generalize content params
* Update how extension unload content is assigned
* Restore query blurring
Diffstat (limited to 'ext/fg/float.html')
| -rw-r--r-- | ext/fg/float.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/fg/float.html b/ext/fg/float.html index 9e0e9ff4..f5a85f8e 100644 --- a/ext/fg/float.html +++ b/ext/fg/float.html @@ -50,9 +50,9 @@ <script src="/fg/js/dom-text-scanner.js"></script> <script src="/fg/js/source.js"></script> <script src="/mixed/js/audio-system.js"></script> - <script src="/mixed/js/display-context.js"></script> <script src="/mixed/js/display.js"></script> <script src="/mixed/js/display-generator.js"></script> + <script src="/mixed/js/display-history.js"></script> <script src="/mixed/js/dynamic-loader.js"></script> <script src="/mixed/js/frame-endpoint.js"></script> <script src="/mixed/js/media-loader.js"></script> |