summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/mainwin.cc5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/mainwin.cc b/src/mainwin.cc
index c82e949..9cb59dd 100644
--- a/src/mainwin.cc
+++ b/src/mainwin.cc
@@ -1040,8 +1040,9 @@ bool MainWindow::compileTopLevelDocument(bool reload)
{
bool shouldcompiletoplevel = !reload;
- if ((reload && fileChangedOnDisk() && checkEditorModified()) ||
- includesChanged()) {
+ if (includesChanged()) shouldcompiletoplevel = true;
+
+ if (reload && fileChangedOnDisk() && checkEditorModified()) {
shouldcompiletoplevel = true;
refreshDocument();
}
contact: Jan Huwald // Impressum