Background Plugin - Scrolling with MouseWheel Issue

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

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

#2774 Background Plugin - Scrolling with MouseWheel Issue

Status: closed-fixed

Owner: Kazutoshi Satoda

Labels: None

Priority: 5

Updated: 2008-09-06

Created: 2006-12-22

Creator: ApeHanger

Private: No

Hi,

I'm using jEdit 4.3pre8, on Linux, jdk1.5.0_10.

Since the 4.3preX the Background Plugin scrolls the Background Picture, when i am scrolling with the mousewheel or use the scrollbar. It still works fine (the picture is fixed) when i use the pageup pagedown keys.

.ApeHanger

Discussion

Kazutoshi Satoda - 2008-09-06

Logged In: YES
user_id=1483238
Originator: NO

Fixed in r13533 of jEdit core.

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

Kazutoshi Satoda - 2008-09-06

assigned_to: nobody --> k_satoda

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

Background Plugin - Scrolling with MouseWheel Issue

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

Group

Searches

Help

#2774 Background Plugin - Scrolling with MouseWheel Issue

Discussion