On Tue, 27 Oct 1998, Jean-Marc Lasgouttes wrote:

> You are right, the toolbar and menus could use those server-*
> functions to get the info they need. The overhead is probably
> negligible here. I'll have a look to see which functions should be
> added.

Fine. I suggest to change their name to simply get- or query- since
they are not used only by the server anymore.

Alejandro

Reply via email to