Re: [cdt-dev] Line numbering, print margin

["Alain Magloire" <alain@xxxxxxx>]

> 
> True, but we should still be working on making more use of the common 
> editor settings to allow users to manage these settings with one stop 
> shopping.
> 

Actually, we've follow the JDT example(see Java Editor),
for them also the setting is private.

And you may want the dichotomy of the settings 
	File.txt vs File.java vs File.cpp

IMHO, how you view a Java code may be different on how you look at C++ code.
Sharing the settings may not be a good thing.