Re: [ jEdit-users ] jEdit 5.1 is not painting screen correctly

[Alan E. <ala...@gm...>]

If this is in the textarea, what font is it?
Is it a monospaced font?


On Thu, Jul 18, 2013 at 11:26 AM, Alan Ezust <ala...@gm...> wrote:

> Is this in the textarea or in one of the other widgets? If textarea, what
> kind of antialiasing are you using?
> If other widget, How was java started? (whats in the jEdit.l4j.ini file?)
>
> I would recommend updating your graphics card driver to the latest
> version, and also updating java to the latest version of java7 and trying
> again. When screen-painting issues like these crop up,  it is rarely due to
> jEdit by itself.
>
> If you move the scrollbar or resize the window, does the painting problem
> resolve?
>
>
> On Thu, Jul 18, 2013 at 4:09 AM, David Aldrich <Dav...@em...
> > wrote:
>
>>  Hi****
>>
>> ** **
>>
>> I am running jEdit 5.1 on Windows 7 (64-bit).  jEdit is not painting the
>> screen correctly – parts of characters are missing.****
>>
>> ** **
>>
>> What might cause this please?****
>>
>> ** **
>>
>> Best regards****
>>
>> ** **
>>
>> David****
>>
>> ** **
>>
>>
>> ------------------------------------------------------------------------------
>> See everything from the browser to the database with AppDynamics
>> Get end-to-end visibility with application monitoring from AppDynamics
>> Isolate bottlenecks and diagnose root cause in seconds.
>> Start your free trial of AppDynamics Pro today!
>>
>> http://pubads.g.doubleclick.net/gampad/clk?id=48808831&iu=/4140/ostg.clktrk
>> --
>> -----------------------------------------------
>> jEdit Users' List
>> jEd...@li...
>> https://lists.sourceforge.net/lists/listinfo/jedit-users
>>
>>
>