Community
Participate
Working Groups
Could you please say what is id for (Java) Properties File Editor http://help.eclipse.org/mars/index.jsp?topic=%2Forg.eclipse.jdt.doc.user%2Freference%2Fpreferences%2Fjava%2Fref-preferences-properties-files-editor.htm Where are sources? Are there recommendation of extending it? https://github.com/ncjones/editorconfig-eclipse/issues/7 Editor P.S. I guess it is one at http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/plain/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/propertiesfileeditor/ which is under internal, not open API. Please comment.
Please make Properties File Editor public and extendable see Bug 476615 - Editor for .git* files (.gitignore .gitmodules .gitattributes)
Will look at this during 4.7.