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
