diff options
Diffstat (limited to 'src/mainwin.cc')
| -rw-r--r-- | src/mainwin.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/mainwin.cc b/src/mainwin.cc index 90e5f61..087cb30 100644 --- a/src/mainwin.cc +++ b/src/mainwin.cc @@ -1037,8 +1037,7 @@ bool MainWindow::compileTopLevelDocument(bool reload) { bool shouldcompiletoplevel = !reload; - if (reload && - (fileChangedOnDisk() && checkEditorModified()) || + if ((reload && fileChangedOnDisk() && checkEditorModified()) || includesChanged()) { shouldcompiletoplevel = true; refreshDocument(); |