[gui] Implement input file watching.
commit2248fe6c5a0d775dfef8f3788e96d32b03ed4346
authorWerner Lemberg <wl@gnu.org>
Sun, 15 Jun 2014 06:57:17 +0000 (15 08:57 +0200)
committerWerner Lemberg <wl@gnu.org>
Sun, 15 Jun 2014 06:57:17 +0000 (15 08:57 +0200)
treeaa75a31513d952e05b683ea20383596bb3151b4f
parent62f909ad279805cbd38afebd58e2f9cf62e37a24
[gui] Implement input file watching.
frontend/main.cpp
frontend/maingui.cpp
frontend/maingui.h