Re: [gedit-list] New Plugin for Gedit [TypingTutor]

[jpfleury <contact jpfleury net>]

Mohan R a écrit le 2009-05-11 02:46 :
> By the way, I'm stuck with one more problem. I created an account in
> live.gnome.org. Also I logged in, but I'm not able to edit
> 'Gedit/Plugins' page, I'm not getting 'edit' link in right side 'control
> panel'.

You don't have an "Edit" link in the footer when you're logged in?

> In my preferences, there is no way to choose 'editor'. I'm getting
> option to select the 'editor' theme.

I think it's normal. In my preferences, I don't see any editor choice.

Regards,

Jean-Philippe