Seems to be agreement here and no objections and these UI changes make NetBeans better, not worse. Merging.
[ Full content available at: https://github.com/apache/incubator-netbeans/pull/859 ] This message was relayed via gitbox.apache.org for [email protected]
