task-switch to file update doesn't have choice of not updating
and why not in bulk with checkboxes and vscroll? Swing there is a book on it. like JButton.
I have no idea what this about. Please provide steps to reproduce.
Under global options - general, the very first two options are related to when we should check for file changes under certain circumstances related to view focus or visiting buffers.
If you have questions about these options, post them to jedit-users please.
Log in to post a comment.