Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

GUI: externalize cmdline? #347

Closed
equalsraf opened this issue Oct 30, 2017 · 2 comments
Closed

GUI: externalize cmdline? #347

equalsraf opened this issue Oct 30, 2017 · 2 comments

Comments

@equalsraf
Copy link
Owner

Opening this because @khalidchawtany pinged me earlier but I really have no idea what to do with the externalized cmdline yet :)
@equalsraf equalsraf mentioned this issue Nov 4, 2017
Closed
1 task
@teto
Copy link

teto commented Nov 14, 2017

having a cmdline popup in the middle of the window would be cool. I dsilike the CLI cmdline at the bottom because I have to look down on it instead of looking at the text. I would vote for something like sublimetext palette.

@jgehrig
Copy link
Collaborator

jgehrig commented Aug 6, 2020

Closing this issue. The work can be tracked via Pull #586.

@jgehrig jgehrig closed this as completed Aug 6, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@equalsraf @teto @jgehrig