use "partial gear" symbol for new input slot settings button

pull/95/head
jmoenig 2020-10-07 09:27:54 +02:00
rodzic 5e9f73fe51
commit 8fdf385d25
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -3452,7 +3452,7 @@ InputSlotDialogMorph.prototype.createSlotTypeButtons = function () {
settingsButton = new PushButtonMorph(
this.slots,
() => this.slots.userMenu().popUpAtHand(this.world()),
new SymbolMorph('gears', this.fontSize * 1.2)
new SymbolMorph('gearPartial', this.fontSize * 1.5)
);
settingsButton.padding = 0;
settingsButton.fixLayout();