https://issues.jboss.org/browse/JBIDE-12948 -- Do not call layout()

[dmaliarevich]

https://issues.jboss.org/browse/JBIDE-12948 -- Do not call layout() for SelectionBar if the visibilty has not been changed.

[alexeykazakov]

if (realBarIsVisible) {
       splitter.setVisible(realBar, true);
       splitter.setVisible(emptyBar, false);
} else {
       splitter.setVisible(realBar, false);
       splitter.setVisible(emptyBar, true);
}

would look better w/o if:

splitter.setVisible(realBar, realBarIsVisible);
splitter.setVisible(emptyBar, !realBarIsVisible);

But it's not critical of course. In general the patch looks ok.

[alexeykazakov]

Asked Yahor to review this PR.

[alexeykazakov]

Merged to master