Re: [anjuta-devel] Common settings
- From: Johannes Schmid <jhs jsschmid de>
- To: Sébastien Granjoux <seb sfo free fr>
- Cc: anjuta-devel-list <anjuta-devel-list gnome org>
- Subject: Re: [anjuta-devel] Common settings
- Date: Sat, 10 Dec 2011 12:47:01 +0100
Hi Sébastien!
1. Move and duplicate these settings in each editor settings so
org.gnome.anjuta.plugins.sourceview/view-eol
org.gnome.anjuta.plugins.sourceview/margin-linenumber-visible
org.gnome.anjuta.plugins.scintilla/view-eol
org.gnome.anjuta.plugins.scintilla/margin-linenumber-visible
and create the menu item in the editor plugins.
Probably the best solution but it requires some duplicate code in the
editor plugins.
Regards,
Johannes
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
