diff options
| author | Florrie <towerofnix@gmail.com> | 2018-09-14 21:16:02 -0300 |
|---|---|---|
| committer | Florrie <towerofnix@gmail.com> | 2018-09-14 21:16:04 -0300 |
| commit | 88eac786c591468f42a07c84d774d55689c9a5b1 (patch) | |
| tree | d26da013f1ebb70cd838f60d9d9959b343abdafa | |
| parent | 1daa3b0f41903341aedfd08905c867b933486aed (diff) | |
Fix tab navigating to jump-to element
It's not supposed to do that. (It's supposed to swap between the path element and the listing itself.)
| -rw-r--r-- | ui.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ui.js b/ui.js index 2c74f8e..755d95f 100644 --- a/ui.js +++ b/ui.js @@ -709,7 +709,7 @@ class GrouplikeListingElement extends Form { }) this.jumpElement = new ListingJumpElement() - this.addInput(this.jumpElement) + this.addChild(this.jumpElement) this.jumpElement.visible = false this.oldFocusedIndex = null // To restore to, if a jump is canceled. |