On Mon, Dec 13, 2010 at 2:28 PM, Kai Habel<address@hidden> wrote:
On 26.11.2010 10:40, Kai Habel wrote:
We have all bits together to enable default menus now. The attached
changeset adds deafault menus to all figures. Of course they are not shown
for the gnuplot backend.
I like the menu! Good work!
All menu entries should work, except for the Help menu, where I have
added placeholder for an about entry. It would be nice if we could add some
internet resources there as well (home, docs, bugs, chat(?), ...) but for
that we need a generic browser function which must work on all platforms.
Do you expect this to call up an internal browser or simply open a
page in the user's web browser? If the latter perhaps we could model
something similar to the PAGER() function that is used in the terminal
[BROWSER()]?
--judd