Eberhard Graether eb8808b624 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

..

data

build: added size grip image to windows installer

2016-07-07 13:16:18 +02:00

user

logic: Hide non-fatal errors in unindexed files

2016-07-20 12:24:46 +02:00