tweaked vector editor brush controls layout

pull/95/head
jmoenig 2020-07-13 23:13:56 +02:00
rodzic 0e7a55fb54
commit aa7d49a3b7
1 zmienionych plików z 2 dodań i 2 usunięć

Wyświetl plik

@ -1268,7 +1268,7 @@ VectorPaintEditorMorph.prototype.populatePropertiesMenu = function () {
alpen = new AlignmentMorph("row", this.padding),
alignColor = new AlignmentMorph("row", this.padding),
alignNames = new AlignmentMorph("row", this.padding),
brushControl = new AlignmentMorph("column");
brushControl = new AlignmentMorph("column", 3);
brushControl.alignment = "left";
@ -1373,9 +1373,9 @@ VectorPaintEditorMorph.prototype.populatePropertiesMenu = function () {
new StringMorph(localize("Brush size") + ":", 10, null, true)
);
brushControl.add(alpen);
brushControl.add(pc.constrain);
brushControl.fixLayout();
c.add(brushControl);
c.add(pc.constrain);
};
VectorPaintEditorMorph.prototype.selectColor = function (color, secondary) {