[ jEdit-users ] disabling auto-reload (4.2pre3)?

[Marcin O. <ca...@wf...>]

Hi,

I browsed the manual and digged prefs panels. No luck. So the question
is: where can I disable automatic bufer reload (when jEdit notices it
was externally modified)? I definitely want to be asked if I wish given
buffer to be reloaded (as in 4.1) before jEdit act. Any clue?

Regards,
-- 
 And he said: "God CTRL-S the Queen"...

 Marcin                          http://wfmh.org.pl/~carlos/
                                 mailto:ma...@or...