Merge pull request #12032 from Grosskopf/seperation-bugfix

Turned around minimum size scaling for seperator. Fixes #12020
This commit is contained in:
Rémi Verschelde 2017-10-12 14:01:32 +02:00 committed by GitHub
commit 3b76eea233

View file

@ -32,7 +32,11 @@
Size2 Separator::get_minimum_size() const {
Size2 ms(3, 3);
ms[orientation] = get_constant("separation");
if (orientation == VERTICAL) {
ms.x = get_constant("separation");
} else { // HORIZONTAL
ms.y = get_constant("separation");
}
return ms;
}