Re: couple of questions

[James Pollard]

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
zeus@emailme.com.au

On 25/09/2012, at 10:42 PM, Riccardo Mottola <riccardo.mottola@libero.it> wrote:

> 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