diff options
Diffstat (limited to 'content_scripts')
| -rw-r--r-- | content_scripts/vimium_frontend.coffee | 6 | 
1 files changed, 6 insertions, 0 deletions
| diff --git a/content_scripts/vimium_frontend.coffee b/content_scripts/vimium_frontend.coffee index 06b447fc..2d6d66be 100644 --- a/content_scripts/vimium_frontend.coffee +++ b/content_scripts/vimium_frontend.coffee @@ -391,6 +391,12 @@ extend window,          HUD.showForDuration("There are no inputs to focus.", 1000)          return +      # This is a hack to improve usability on the Vimium options page.  We prime the recently-focused input +      # to be the key-mappings input.  Arguably, this is the input that the user is most likely to use. +      unless recentlyFocusedElement? +        if window.isVimiumOptionsPage +          recentlyFocusedElement = document.getElementById "keyMappings" +        selectedInputIndex =          if count == 1            # As the starting index, we pick that of the most recently focused input element (or 0). | 
