logic: Hide non-fatal errors in unindexed files

* added database field indexed to error to tell if the error occured within an indexed file * added checkbox to Preferences for showing them
2016-07-20 12:24:46 +02:00
parent f93b31a942
commit eb8808b624
26 changed files with 122 additions and 47 deletions
@@ -2948,7 +2948,7 @@ private:
 		{
 		}

-		virtual void onError(const ParseLocation& location, const std::string& message, bool fatal)
+		virtual void onError(const ParseLocation& location, const std::string& message, bool fatal, bool indexed)
 		{
 			errors.push_back(addLocationSuffix(message, location));
 		}