JBIDE-17936 - set minimal width for server behavior section in editor