This issue was raised by Marcus.
There are at least two approaches to this:
- The program listens for file changes (passively, with OS support).
- The program re-reads the file(s) when told so (button, menu).
The latter option is more easy to implement robustly (not sure), and will not result in accidental reads.
This issue was raised by Marcus.
There are at least two approaches to this:
The latter option is more easy to implement robustly (not sure), and will not result in accidental reads.