|
From: | Rogerio Luz Coelho |
Subject: | Re: [Gnumed-devel] Plug-in management in 0.4.6 |
Date: | Sat, 20 Jun 2009 10:17:20 -0300 |
On Sat, Jun 20, 2009 at 12:29:42PM +0200, Karsten Hilbert wrote:But different platforms have different selection policies -
> > 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.
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
_______________________________________________
Gnumed-devel mailing list
address@hidden
http://lists.gnu.org/mailman/listinfo/gnumed-devel
[Prev in Thread] | Current Thread | [Next in Thread] |