diff options
author | Marius Kintel <marius@kintel.net> | 2013-05-28 20:29:53 (GMT) |
---|---|---|
committer | Marius Kintel <marius@kintel.net> | 2013-05-28 20:29:53 (GMT) |
commit | 5722dd9e411ed52a0b840afc47b468c3ed1970c1 (patch) | |
tree | 7871561c0a2a83a6c86886442ebe3e7ddb36049c /src/MainWindow.h | |
parent | c0fa353e063c2075f6e1920f483bfa7142c4345e (diff) |
Minor refactoring, no longer automatically reloads if a dependency disappears
Diffstat (limited to 'src/MainWindow.h')
-rw-r--r-- | src/MainWindow.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/MainWindow.h b/src/MainWindow.h index fc64137..79e2080 100644 --- a/src/MainWindow.h +++ b/src/MainWindow.h @@ -77,7 +77,6 @@ private: void refreshDocument(); void updateTemporalVariables(); bool fileChangedOnDisk(); - bool includesChanged(); void compileTopLevelDocument(); void compile(bool reload, bool forcedone = false); void compileCSG(bool procevents); |