The source project of this merge request has been removed.
Change warnings default behavior to check against the solution and add options to replicate the old behavior
Show extra warnings removed from the hidden options and made the default behavior
Earmark warnings are now disabled by default and can be toggled on in the options
The menu button now features a More Options submenu with 4 items:
-2 New options that replicate the old warnings
-Show possibilities moved from hidden options
-Timer moved from the menu
Linked issues #101 (closed) and #64 (closed)
Edited by Johan G.