Would it be possible to create a separate category in the Eclipse preferences window and move configuration from the General category? It seems to me that a plugin's configuration should not be intermixed with general Eclipse platform settings.
Log in to post a comment.
