RE: [ jEdit-devel ] Skins

[Healy Philip-p. <phe...@em...>]

This feature is already in jedit to some extent - the ability to set the
look and feel.  This code merely extends the number of look and feels (sp?)
that are available by loading GTK/KDE themes and converting them to java
look and feels.  Apart from serious applications (e.g. if you are running
KDE you want jedit to look like KDE), the ability to change an application's
look and feel has a big "gee whizz" factor - look how much this feature has
added to the popularity of Mozilla, Neoplanet, Winamp, etc.  Even Emacs is
getting a GTK binding, so it too will support themes.  IMO this adds a
cutting-edge feature to jEdit and comes at little cost (no major code
restructuring etc.).  It is not perfect however.  Judging from the
screenshots you cannot change the applications title bar, so you are stuck
with whatever one your window manager gives you.  This takes away from the
overall effect a good bit.

I think the question is really whether this feature would be a valuable
addition to jEdit or just bloat.  Perhaps the best way to find out is to add
this feature to one of the upcoming prereleases so that we can have a chance
to play with it.  If it sucks, it sucks and it will be dropped.  If it is
good, it will be another of jEdit's already impressive list of cutting edge
features.

Philip


-----Original Message-----
From: Slava Pestov [mailto:sp...@gj...]
Sent: 25 July 2000 08:57
To: jed...@li...
Subject: Re: [ jEdit-devel ] Skins


Healy Philip-phealy02 wrote:
> 
> This has probably come up before but...
> 
> I came across a sweet piece of code called skinlf for adding skins to java
> apps.  It allows the use of GTK and KDE themes so there would be plenty of
> skins already available from themes.org.  Check out the website
> http://www.l2fprod.com/software/skinlf/index.html.  It says on the site
that
> the code is GPL so there there shouldn't be any licence worries.  The only
> problem is that it doesn't say whether or not you need java 2.  Any chance
> of this being added to jEdit 3.0?

Why should we add this to jEdit?

Slava



-- 
-----------------------------------------------
jEdit Developers' List
jEd...@li...
http://lists.sourceforge.net/mailman/listinfo/jedit-devel