On 05/05/2016 10:38 AM, Oleg Tkachenko wrote: > Ok, so is OK to use <editorname>_<propertyname> naming convention for > editor specific properties? Looks like this is what JEdit does already > with jedit_charset property. >
jedit_charset is a special case: it's the charset string that follows the definition given by jedit. This is probably not a feature that any other editors can support. It's best if you can throw out the names and discuss them. Do you need to implement all of them at once? Maybe you can just use some other placeholder names first for the purpose of implementation and change after the discussion. Hong -- You received this message because you are subscribed to the Google Groups "EditorConfig" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/editorconfig. For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: OpenPGP digital signature
