David Kocik c885e5c9bb Hint notification fixes and improvements ...

Hint notification bold (diff color) headline on multiple lines
Hint notification: Documentation link button.
Hints.ini header
hints logo - clippy 
disabled a preffered modes and techs for hints notifications
Empty hints array check. Fix of #6774.

2021-08-09 17:10:39 +02:00

98 lines

12 KiB

XML

Raw Blame History