widelands-dev team mailing list archive

[kaputtnik <somal@xxxxxxxx>]

Removing the additional headers for "Height and Resources tool" and "Noise height tool" in the help doesn't fit my taste. A general help should be driven by "Information as clear as it could be", not "Information as short it could be". But if you think it's good, lets leave it. The Tooltips make such help nearly superfluous :-)

The only thing i am wondering is the tooltip for "Noise height -> Set Value" which says "Use Shift + Click or Ctrl + Click ...". I think only "Ctrl + Click" should be shown here?

-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1395322-tool3/+merge/290829
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1395322-tool3.