The source project of this merge request has been removed.
fixes for checker issues and fix to select suggestion with mouse click
This should fix the last remaining checker issues. This has also the fix to select a suggestion with mouse click, as requested in comments 16 and 19 on bugzilla.