Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
| options:xml:remote-dir-check-period [2015/08/19 19:40] – admin | options:xml:remote-dir-check-period [2017/02/15 17:22] (current) – admin | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== External changes check for remote directories ====== | ====== External changes check for remote directories ====== | ||
| - | In general case, HippoEDIT does not pull external changes of open file, but relies on file system notifications, | + | In general case, HippoEDIT does not pull external changes of an open file but relies on file system notifications, |
| The interval of how often editor will pull for changes on remote directories can be controlled by following XML flag in **settings.xml**: | The interval of how often editor will pull for changes on remote directories can be controlled by following XML flag in **settings.xml**: | ||