Open GoogleCodeExporter opened 9 years ago
Original comment by peerbloc...@gmail.com
on 1 Dec 2009 at 4:36
This is a good idea. However, seeing as how we currently have no local-machine
Help
system, this will need to wait for awhile.
Retitling this issue to cover the fact that we need a built-in Help system too.
Hitting F1 to bring it up will essentially be an implementation detail.
Original comment by peerbloc...@gmail.com
on 20 Jan 2010 at 6:47
Original issue reported on code.google.com by
frederic...@gmail.com
on 20 Nov 2009 at 10:03