Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • why3 why3
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 136
    • Issues 136
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 19
    • Merge requests 19
  • Deployments
    • Deployments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • Why3
  • why3why3
  • Issues
  • #39

Closed
Open
Created Nov 17, 2017 by Raphaël Rieu-Helft@rrieuhelContributor

Tab completion in the command line

When typing a command in the IDE command line, a list of possible completions appears below, but hitting Tab moves the focus away from the command line (completions can be selected with arrow keys and enter, but it is less intuitive and requires more keypresses). It would be comfortable if Tab iterated through possible completions instead (or at least if it did not defocus the command line), especially when there is only one such completion.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking