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

Console Scroll Lock is disabled with key "End" #648

Closed
jukzi opened this issue Aug 25, 2023 · 2 comments
Closed

Console Scroll Lock is disabled with key "End" #648

jukzi opened this issue Aug 25, 2023 · 2 comments

Comments

@jukzi
Copy link
Contributor

jukzi commented Aug 25, 2023

I understand that the key combination ctrl+end (i.e. document end) may make sense to disable scroll lock, but only the key end (line end) in the middle of the console shout not disable scroll lock
image
@jukzi
Copy link
Contributor Author

jukzi commented Aug 28, 2023

/eclipse/news/4.5/M4/index.html states "When you scroll down to the end of the console, the scroll lock is automatically released again."

@jukzi jukzi transferred this issue from eclipse-platform/eclipse.platform.ui Aug 28, 2023
jukzi pushed a commit to jukzi/eclipse.platform that referenced this issue Aug 28, 2023
@EcljpseB0T
fix Console Scroll Lock is disabled with key "End" without CTRL eclip…
dfcc119 
…se-platform#648

only ctrl+end should disable Scroll Lock

eclipse-platform#648
@jukzi jukzi mentioned this issue Aug 28, 2023
Merged
jukzi pushed a commit to jukzi/eclipse.platform that referenced this issue Sep 11, 2023
@EcljpseB0T @jukzi
fix Console Scroll Lock is disabled with key "End" without CTRL eclip…
594133a 
…se-platform#648

only ctrl+end should disable Scroll Lock

eclipse-platform#648
jukzi pushed a commit to jukzi/eclipse.platform that referenced this issue Sep 11, 2023
@EcljpseB0T @jukzi
fix Console Scroll Lock is disabled with key "End" without CTRL eclip…
7e4713e 
…se-platform#648

only ctrl+end should disable Scroll Lock

eclipse-platform#648
jukzi pushed a commit to jukzi/eclipse.platform that referenced this issue Sep 11, 2023
@EcljpseB0T
fix Console Scroll Lock is disabled with key "End" without CTRL eclip…
8b89127 
…se-platform#648

only ctrl+end should disable Scroll Lock

eclipse-platform#648
jukzi pushed a commit that referenced this issue Sep 11, 2023
@EcljpseB0T @jukzi
fix Console Scroll Lock is disabled with key "End" without CTRL #648
d002e23 
only ctrl+end should disable Scroll Lock

#648
@HeikoKlare
Copy link
Contributor

fixed via #649

fedejeanne pushed a commit to fedejeanne/eclipse.platform that referenced this issue Sep 13, 2023
@EcljpseB0T @fedejeanne
fix Console Scroll Lock is disabled with key "End" without CTRL eclip…
ff83888 
…se-platform#648

only ctrl+end should disable Scroll Lock

eclipse-platform#648
fedejeanne pushed a commit to fedejeanne/eclipse.platform that referenced this issue Sep 13, 2023
@EcljpseB0T @fedejeanne
fix Console Scroll Lock is disabled with key "End" without CTRL eclip…
7c75619 
…se-platform#648

only ctrl+end should disable Scroll Lock

eclipse-platform#648
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
2 participants
@HeikoKlare @jukzi