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.
On Monday, March 28, 2016 at 2:04:06 PM UTC-7, Oleg Tkachenko wrote: > > Thanks, I will do that for common candidates, but still - we have a > potentially large number of domain specific properties (for example C# code > styling like "Qualify member access with 'this'") as well as editor > specific ones (for example "Use map mode for vertical scrollbar)" - what > naming convention should I use for those? > > > On Thursday, March 24, 2016 at 4:09:22 PM UTC-7, Hong Xu wrote: >> >> On 03/24/2016 01:57 PM, Oleg Tkachenko wrote: >> > What's a naming convention I should follow to specify domain specific >> > properties to avoid collisions with other editors? I've seen a >> > recommendation in this mail list to use jedit_foo_bar kind of >> convention >> > (for a property only supported by jedit). Is it what's recommended? >> >> Hi Oleg, >> >> What name do you propose, for what purpose? The best way to do it would >> be propose it somewhere and wait for a few days. If no objection, we can >> add it to the wiki page < >> https://github.com/editorconfig/editorconfig/wiki/EditorConfig-Properties >> > >> as a not widely supported property. You can open a new ticket here < >> https://github.com/editorconfig/editorconfig/issues/new > to propose it. >> >> Best, >> 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.
