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.

_______________________________________________
Mailing list: https://launchpad.net/~widelands-dev
Post to     : [email protected]
Unsubscribe : https://launchpad.net/~widelands-dev
More help   : https://help.launchpad.net/ListHelp

Reply via email to