diff options
Diffstat (limited to 'ext/fg/float.html')
| -rw-r--r-- | ext/fg/float.html | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/ext/fg/float.html b/ext/fg/float.html index 52fe3e66..512818bd 100644 --- a/ext/fg/float.html +++ b/ext/fg/float.html @@ -66,11 +66,11 @@ <div class="content-sidebar scrollbar" id="content-sidebar"> <div class="content-sidebar-inner"> <div class="content-sidebar-top-pre"> - <button class="sidebar-button danger" id="close-button" title="Close popup"><span class="sidebar-button-icon" data-icon="cross"></span></button> + <button class="sidebar-button danger" id="close-button" title="Close popup" data-hotkey='["close","title","Close popup ({0})"]'><span class="sidebar-button-icon" data-icon="cross"></span></button> </div> <div class="content-sidebar-top"> - <button class="sidebar-button" disabled id="navigate-previous-button" title="Previous definition (Alt + B)"><span class="sidebar-button-icon" data-icon="left-chevron"></span></button> - <button class="sidebar-button" disabled id="navigate-next-button" title="Next definition (Alt + F)"><span class="sidebar-button-icon" data-icon="right-chevron"></span></button> + <button class="sidebar-button" disabled id="navigate-previous-button" title="Previous definition" data-hotkey='["historyBackward","title","Previous definition ({0})"]'><span class="sidebar-button-icon" data-icon="left-chevron"></span></button> + <button class="sidebar-button" disabled id="navigate-next-button" title="Next definition" data-hotkey='["historyForward","title","Next definition ({0})"]'><span class="sidebar-button-icon" data-icon="right-chevron"></span></button> </div> <div class="content-sidebar-bottom"> <button class="sidebar-button" id="profile-button"><span class="sidebar-button-icon" data-icon="profile"></span></button> @@ -110,6 +110,8 @@ <script src="/mixed/js/dynamic-loader.js"></script> <script src="/mixed/js/frame-endpoint.js"></script> <script src="/mixed/js/hotkey-handler.js"></script> +<script src="/mixed/js/hotkey-help-controller.js"></script> +<script src="/mixed/js/hotkey-util.js"></script> <script src="/mixed/js/media-loader.js"></script> <script src="/mixed/js/panel-element.js"></script> <script src="/mixed/js/scroll.js"></script> |