diff --git a/interface/skin.dmf b/interface/skin.dmf index 813abc66b98..8c1fbbcf52f 100644 --- a/interface/skin.dmf +++ b/interface/skin.dmf @@ -1419,6 +1419,15 @@ menu "menu" group = "size" is-disabled = false saved-params = "is-checked" + elem "icon128" + name = "&128x128 (4x)" + command = ".winset \"mapwindow.map.icon-size=128\"" + category = "&Icons" + is-checked = false + can-check = true + group = "size" + is-disabled = false + saved-params = "is-checked" elem "icon96" name = "&96x96 (3x)" command = ".winset \"mapwindow.map.icon-size=96\""