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 [email protected] On 25/09/2012, at 10:42 PM, Riccardo Mottola <[email protected]> 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 _______________________________________________ Discuss-gnustep mailing list [email protected] https://lists.gnu.org/mailman/listinfo/discuss-gnustep
