[Fwd: Re: [Java-gnome-hackers] Gnome2.defs]

[Philip A. C. <pc...@td...>]

For the lists's archives:

-----Forwarded Message-----

> From: Jeffrey Morgan <ku...@zo...>
> To: Philip A. Chapman <pc...@td...>
> Subject: Re: [Java-gnome-hackers] Gnome2.defs
> Date: 12 Aug 2002 03:22:17 -0400
>=20
> On Sat, 2002-08-10 at 11:40, Philip A. Chapman wrote:
> > Everyone,
> >=20
> > Jeffrey, do we have an "official" understanding on what to do when
> > gdk/gtk/gnome provides the same non-gui functionality which is provided
> > by standard Java APIs?  Often, we may need to provide the gdk/gtk/gnome
> > method because gui code depend on it, but what about stuff like
> > gnome_util_user_home?  I realize, or course, that gnome is an
> > environment and more than gui.  I just need to know where we draw the
> > line.
> >=20
>=20
> My view is that if a capability is already provided by the Java class
> library we shouldn't provide that capability in java-gnome.  I am sure
> there are exceptions to this but I can't think of any at this time.
>=20
> -Jeff
>=20
--=20
Philip A. Chapman