mgraciano commented on pull request #2119: URL: https://github.com/apache/netbeans/pull/2119#issuecomment-633124188
I was thinking two options for what you asked: 1. Move the options back do Miscellaneous and treat this feature out of Editor umbrella (This could be a feature for platform applications too, since 'save' operations are not specifically tied to source editor; 2. Change the patch drastically and move the option to org.netbeans.modules.options.editor. Here included the file where the properties are persisted as well; What would be the desirable thing to do? ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected] For further information about the NetBeans mailing lists, visit: https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists
