|
From: | Riccardo Mottola |
Subject: | Re: couple of questions |
Date: | Tue, 25 Sep 2012 14:42:14 +0200 |
User-agent: | Mozilla/5.0 (X11; FreeBSD i386; rv:15.0) Gecko/20120921 Firefox/15.0.1 SeaMonkey/2.12.1 |
Riccardo. James wrote:
It is supposed to open the external editor instead of the internal one, it seems like misbehaving right now.just a couple of questionsI tried to set jedit as the editor in projectcenter but nothing seems to change, is thishow it's supposed to behave?
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
[Prev in Thread] | Current Thread | [Next in Thread] |