]> git.sur5r.net Git - i3/i3/commitdiff
Make the warning about $terminal being deprecated an error (Thanks fallen)
authorMichael Stapelberg <michael@stapelberg.de>
Tue, 16 Feb 2010 18:25:07 +0000 (19:25 +0100)
committerMichael Stapelberg <michael@stapelberg.de>
Tue, 16 Feb 2010 18:25:07 +0000 (19:25 +0100)
src/cfgparse.y

index 8d97401b873a84260168161c1d4295a9fe20b608..2633f4d240875be454480b144337377ef4894ae9 100644 (file)
@@ -536,7 +536,7 @@ exec:
 terminal:
         TOKTERMINAL WHITESPACE STR
         {
-                DLOG("The terminal option is DEPRECATED and has no effect. "
+                ELOG("The terminal option is DEPRECATED and has no effect. "
                     "Please remove it from your configuration file.");
         }
         ;