Author: reinhard
Date: 2007-04-26 08:58:04 -0500 (Thu, 26 Apr 2007)
New Revision: 9531
Modified:
trunk/gnue-forms/src/GFInstance.py
Log:
Added deprecation warning for key redefinition in gnue.conf.
Modified: trunk/gnue-forms/src/GFInstance.py
===================================================================
--- trunk/gnue-forms/src/GFInstance.py 2007-04-26 13:29:20 UTC (rev 9530)
+++ trunk/gnue-forms/src/GFInstance.py 2007-04-26 13:58:04 UTC (rev 9531)
@@ -156,6 +156,9 @@
for key in options.keys():
if key.lower().startswith('key_'):
+ gDebug(1, ("DEPRECATED: %s option in gnue.conf. " \
+ + "Please add a menu item to default.gfd instead.") \
+ % key)
mapping[key[4:]] = options[key]
GFKeyMapper.KeyMapper.loadUserKeyMap(mapping)
_______________________________________________
commit-gnue mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/commit-gnue
