Closed GoogleCodeExporter closed 9 years ago
For UI consistency, it would be better to call the button "hints"/"tips" since
Help menu is already at the menu bar.
Original comment by jzho...@gmail.com
on 7 Oct 2013 at 8:38
Original comment by jzho...@gmail.com
on 21 Oct 2013 at 6:57
Fixed in release 1.2.9
Original comment by jzho...@gmail.com
on 4 Nov 2013 at 9:45
Original issue reported on code.google.com by
jzho...@gmail.com
on 4 Oct 2013 at 6:49