jEdit Community - Resources for users of the jEdit Text Editor
Background Plugin problem with 4.3pre9/Java 1.6.0
Submitted by Magno X on Tuesday, 8 May, 2007 - 17:22
Hello all

I upgraded to 4.3pre9, and now the background plugin is acting up. The image doesn't stay fixed when I scroll up and down, instead the image tears and segments repeat. Has anyone encountered this? Is there a solution?

Thanks
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
I've implemented a solution f
by KalothIV on Thu, 03/01/2008 - 10:08
I've implemented a solution for this but it's not perfect. The trouble is that, when scrolling, the new JEdit editor panel only re-draws the emerging lines at the top/bottom of the screen (it assumes that all the other lines are unchanged and can simply be shifted up/down). This means that the image drawn behind the text also gets shifted instead of re-drawn.

My solution is simply to force a re-draw when scrolling. This is not perfect as the re-draw is not immediate meaning that the image jumps around a bit.

If anyone can think of a better solution please post it.
User login
Browse archives
« November 2024  
MoTuWeThFrSaSu
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   101634
Context Free Art (*.cfdg)   0.31   46062
BBEdit scheme   1.0   18601
JBuilder scheme   .001   18502
ColdFusion scheme   1.0   18031
R Edit Mode - extensive version   0.1   17481
Advanced HTML edit mode   1.0   16213
Matlab Edit Mode   1.0   16075
jEdit XP icons   1.0   15236
XP icons for jEdit   1.1   14300