# HG changeset patch
# User Flick <flickerstreak@gmail.com>
# Date 1174597342 0
# Node ID 2b2dd11e5cc2b74e882401a2d212c21cbadf0e4f
# Parent  2735edcf9ab723c968c06b30fab12246b2cca58a
Removed showid console option

diff -r 2735edcf9ab7 -r 2b2dd11e5cc2 Options.lua
--- a/Options.lua	Wed Mar 21 00:13:27 2007 +0000
+++ b/Options.lua	Thu Mar 22 21:02:22 2007 +0000
@@ -48,15 +48,6 @@
       set  = "ToggleHideArt",
     },
 
-    showid = {
-      type = "toggle",
-      name = "showid",
-      desc = "Show ActionIDs on buttons",
-      get  = "AreIdsVisible",
-      set  = "ToggleIds",
-      disabled = true,
-    },
-
     create = {
       type = "group",
       name = "create",