From f13a6e53c462822e8c6d033978382d392a84fb07 Mon Sep 17 00:00:00 2001 From: eckff Date: Fri, 28 Jun 2019 22:56:22 +0300 Subject: [PATCH] Removes outdated and empty skin category --- interface/skin.dmf | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/interface/skin.dmf b/interface/skin.dmf index 5199106ba5dc9..6afa46d2da230 100644 --- a/interface/skin.dmf +++ b/interface/skin.dmf @@ -852,20 +852,6 @@ menu "menu" command = ".quit" category = "&File" saved-params = "is-checked" - elem - name = "&Icons" - command = "" - saved-params = "is-checked" - elem - name = "&Size" - command = "" - category = "&Icons" - saved-params = "is-checked" - elem - name = "&Scaling" - command = "" - category = "&Icons" - saved-params = "is-checked" elem name = "&Size" command = ""