Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

Re: couple of questions

5 views
Skip to first unread message

Riccardo Mottola

unread,
Sep 25, 2012, 8:42:14 AM9/25/12
to James, discuss...@gnu.org
Riccardo.

James wrote:
> just a couple of questions
>
> I tried to set jedit as the editor in projectcenter but nothing seems
> to change, is this
> how it's supposed to behave?
It is supposed to open the external editor instead of the internal one,
it seems like misbehaving right now.
>
> Also is there any themes available for projectcenter?
Themes? for an IDE? what do you mean, like skins?
At most there are themes for all of GNUstep and you can set them also
differently for each application, is that what you need?

Riccardo

PS: please no HTML signatures

James Pollard

unread,
Sep 25, 2012, 10:00:35 AM9/25/12
to Riccardo Mottola, discuss...@gnu.org
I wasn't sure since jedit is a java app.

I did mean skins, but the web page I found relating to it was calling it themes. I wasn't sure whether it was a feature that was still in development.

For the skins how do I change it for projectcenter, since I couldn't find a option to do it in preferences.

Sorry about the email signature, I forgot I had it enabled

Thanks for any help

Sent from my iPod
ze...@emailme.com.au

Riccardo Mottola

unread,
Sep 25, 2012, 10:09:00 AM9/25/12
to James Pollard, discuss...@gnu.org
Hi,

James Pollard wrote:
> I wasn't sure since jedit is a java app.
If it opens with "/usr/bin/jedit" it should work... It doesn't for me
with emacs, so I guess a bug lurked in.
> I did mean skins, but the web page I found relating to it was calling it themes. I wasn't sure whether it was a feature that was still in development.
Aha, I thought about something specific to project center for a moment
> For the skins how do I change it for projectcenter, since I couldn't find a option to do it in preferences.
You can change the themes sytem-wide using the Themes panels of
systempreferences or, for each single app, in its info-panel and
clikcing on the "theme" panel and then saving.

You need to have some themes installed of course :)

Riccardo

0 new messages