Re: [Gnumed-devel] Plug-in management in 0.4.6

[Karsten Hilbert]

On Sat, Jun 20, 2009 at 12:29:42PM +0200, Karsten Hilbert wrote:

> > It is also unclear what it does or means when the tooltip says:
> >
> >     Mark the items you want to work on with <space>
> On my platform SPACE allows selecting/unselecting.

But different platforms have different selection policies -
so I made the tooltip more generic.

Karsten
-- 
GPG key ID E4071346 @ wwwkeys.pgp.net
E167 67FD A291 2BEA 73BD  4537 78B9 A9F9 E407 1346