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.

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

Backspace/Delete allows modifying REPL history #8

Open
ivankozik opened this issue May 7, 2012 · 0 comments
Open

Backspace/Delete allows modifying REPL history #8

ivankozik opened this issue May 7, 2012 · 0 comments

Comments

@ivankozik
Copy link

Backspace and Delete handling is broken in several cases. The characters [ and ] below are used to indicate the beginning and end of the text selection, respectively. The character | is used to indicate the cursor position.

In this state, pressing Backspace or Delete causes the prompt text to be deleted:

[user=> ]|"xyz"

the same happens in this state:

[user=> "xy]|z"

JConsole should not permit deleting the prompt text.

In this state, pressing Backspace or Delete does not delete anything:

us|[er=> "xyz"]

JConsole should instead delete the input text without deleting any of the prompt text.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant