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

..

app

logic: Hide non-fatal errors in unindexed files

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

test/data

build: Fixes for release

2016-07-07 12:25:20 +02:00