On Wed, Dec 17, 2003 at 03:50:28PM -0500, Sean Dague wrote:
> On Wed, Dec 17, 2003 at 05:48:44PM +0100, Michael Hagemann wrote:
> > On Wed, 17 Dec 2003 00:05:44 -0500 Sean Dague wrote:
> >
> > > Please let me know if there is a way to use a different set of key bindings
On Wed, Dec 17, 2003 at 05:48:44PM +0100, Michael Hagemann wrote:
> On Wed, 17 Dec 2003 00:05:44 -0500 Sean Dague wrote:
>
> > Please let me know if there is a way to use a different set of key bindings
> > without needing to run the whole gnome infrastructure. Thanks for your
ings
without needing to run the whole gnome infrastructure. Thanks for your
time.
-Sean
--
__
Sean Dague Mid-Hudson Valley
sean at dague dot netLi