rnd-20070124-1-src
[rocksndiamonds.git] / src / editor.c
index 72ceb0d34704ed9393e2609bb51cd73e31c1a0b3..c4adb46d42732882e3760085adff74d84712f450 100644 (file)
@@ -5323,8 +5323,11 @@ static void CreateCounterButtons()
        if (i == ED_COUNTER_ID_SELECT_LEVEL)
        {
          font_type = FONT_LEVEL_NUMBER;
+#if 1
+         font_type_active = FONT_LEVEL_NUMBER_ACTIVE;
+#else
          font_type_active = FONT_LEVEL_NUMBER;
-
+#endif
          x += 2 * ED_GADGET_DISTANCE;
          y -= ED_GADGET_DISTANCE;