[Github-comments] [geany] Avoid time interval for regular checks for file changes (#847)
frankstaehr
notifications at xxxxx
Sat Jan 2 12:57:24 UTC 2016
When an opened file is changed in the background by another program, this is normally not reported immediately, but checked by default every 30 seconds (see Preferences → Files)
This behavoir is annoying as it is possible, at least under Linux, to update the file at once when it is changed GEdit does so, for example
I don’t know, but guess, that this is possible even under Windows I ask you to add this feature (if necessary only for Linux) and update the configuration dialog accordingly
---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/847
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160102/150e4acb/attachment.html>
More information about the Github-comments
mailing list