Re: [ jEdit-users ] Bug with automatic reload

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

Here is the relevant bug report:
https://sourceforge.net/tracker/index.php?func=detail&aid=1871440&group_id=588&atid=100588


On Thu, Jan 3, 2013 at 8:00 AM, Alan Ezust <ala...@gm...> wrote:

> Please try jEdit 5.1pre1. I think I fixed it already.
>
>
> On Thu, Jan 3, 2013 at 7:47 AM, Colin Law <cl...@go...> wrote:
>
>> On 3 January 2013 15:31,  <and...@gm...> wrote:
>> > Setting "Check for file change upon" with value "visiting or saving the
>> buffer" doesn't work.
>> >
>> > applies to jEdit 4.5.2 and 5.0.0
>> >
>> > How to reproduce:
>> >
>> > -open two files (e.g. text1.txt and text2.txt)
>> > -in jEdit select text1.txt
>> > -outside of jEdit change file text2.txt
>> > -go into jEdit -- nothing happens -- OK due to the setting and
>> text1.txt still selected
>> > -go into buffer text2.txt -- nothing happens -- not correct
>> >
>> > The buffer gets reloaded only, when changing application focus to
>> outside of jEdit and then back into jEdit, with the buffer text2.txt
>> selected.
>> >
>> > I would expect the buffer text2.txt to reload as soon as it's selected,
>> without changing application focus.
>>
>> I can confirm I see this also, using jedit 5.0pre1 on Ubuntu 12.10.
>>
>> Colin
>>
>>
>> ------------------------------------------------------------------------------
>> Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS,
>> MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current
>> with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft
>> MVPs and experts. ON SALE this month only -- learn more at:
>> http://p.sf.net/sfu/learnmore_122712
>> --
>> -----------------------------------------------
>> jEdit Users' List
>> jEd...@li...
>> https://lists.sourceforge.net/lists/listinfo/jedit-users
>>
>
>