Re: [Anjuta-list] Changing font charcteristics in GTK Source View
- From: "Naba Kumar" <naba kumar gmail com>
- To: "Johannes Schmid" <johannes schmid gmx de>
- Cc: anjuta-list lists sourceforge net
- Subject: Re: [Anjuta-list] Changing font charcteristics in GTK Source View
- Date: Tue, 20 Jun 2006 12:46:07 +0300
On 6/15/06, Johannes Schmid <johannes schmid gmx de> wrote:
You are doing exactly the right thing. The only possible problem is that
you have loaded both editor plugins which gives you two editor panes in
preferences and you are changing the wrong one.
Try to unload the scintilla plugin (settings->plugin manager), restart
anjuta and try to change the settings again.
This reminds me that we need to implement preferences unloading. :)
] [Thread Prev