jEdit / Patches / #521 Focus the text area when scroll bar is clicked

jEdit is a programmer's text editor written in Java.

#521 Focus the text area when scroll bar is clicked

Milestone: None

Status: closed-accepted

Owner: Alan Ezust

Labels: None

Priority: 5

Updated: 2014-04-06

Created: 2014-03-30

Creator: Jordan Miner

Private: No

I'd like more ways of focusing the text area without changing the location of the caret. In Visual Studio, clicking any place in a pane will focus the main component in that pane. For example, you can click an empty spot in a toolbar in a sidebar, and it will focus the sidebar's tree or whatever. The attached patch is similar as it causes clicking a text area's scroll bar to focus the text area.

It might be nice if the same thing worked for the project viewer and other scrollable components, but that is harder to change and I have never really cared.

This patch requires JDK 1.7, so it shouldn't be applied while jEdit supports 1.6.

1 Attachments

scroll_bar_focus.patch

Discussion

Alan Ezust - 2014-03-30

assigned_to: Alan Ezust

Group: -->
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Alan Ezust - 2014-04-06

status: open --> closed-accepted
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Alan Ezust - 2014-04-06

Committed 23461. I agree with you 100%
Thank you for your contribution.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Focus the text area when scroll bar is clicked

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#521 Focus the text area when scroll bar is clicked

Discussion