Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| options:xml:remote-dir-check-period [2014/10/21 21:41] – admin | options:xml:remote-dir-check-period [2018/01/10 20:42] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| 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**: | ||
| Line 13: | Line 13: | ||
| < | < | ||
| - | #xml_option #1.51 | + | #xml_option #1_51 |