From 45520c3244dd37982916f896a78a201fcf40457f Mon Sep 17 00:00:00 2001 From: Dana Jansens Date: Mon, 1 Sep 2003 16:34:00 +0000 Subject: [PATCH] some stuff is exact --- tools/themeupdate/themeupdate.py | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) diff --git a/tools/themeupdate/themeupdate.py b/tools/themeupdate/themeupdate.py index a6d7cd07..171be0b9 100755 --- a/tools/themeupdate/themeupdate.py +++ b/tools/themeupdate/themeupdate.py @@ -59,9 +59,6 @@ def simple_replace(data): def remove(data): invalid = [] invalid.append('toolbar') - invalid.append('menu.bullet') - invalid.append('rootCommand') - invalid.append('menu.frame.justify') for inv in invalid: while 1: i, key, nul = find_key(data, inv) @@ -72,6 +69,19 @@ def remove(data): data.pop(i) else: break + invalid.append('rootCommand') + invalid.append('menu.bullet') + invalid.append('menu.frame.justify') + for inv in invalid: + while 1: + i, key, nul = find_key(data, inv, True) + if i >= 0: + out(key + ' is no longer supported.\nRemove (Y/n)? ') + if read_bool(): + out('Removing "' + key + '"\n') + data.pop(i) + else: + break def pressed(data): i, nul, nul = find_key(data, 'window.button.pressed', True)