From e9280bf01239e81b01899992647766d0c073253b Mon Sep 17 00:00:00 2001 From: Neil Date: Wed, 19 Oct 2022 13:36:08 +1100 Subject: Feature [feature-requests:#1455] Implement GetStyledTextFull as a 64-bit safe version of GetStyledText. --- scripts/HFacer.py | 27 +++++++++++++++------------ 1 file changed, 15 insertions(+), 12 deletions(-) (limited to 'scripts') diff --git a/scripts/HFacer.py b/scripts/HFacer.py index cc8467b2c..0d3062f51 100755 --- a/scripts/HFacer.py +++ b/scripts/HFacer.py @@ -31,6 +31,8 @@ def printHFile(f): out.append("#endif") return out +showUnused = False + def RegenerateAll(root, showMaxID): f = Face.Face() f.ReadFromFile(root / "include/Scintilla.iface") @@ -39,18 +41,19 @@ def RegenerateAll(root, showMaxID): valueSet = set(int(x) for x in f.values if int(x) < 3000) maximumID = max(valueSet) print("Maximum ID is %d" % maximumID) - #~ valuesUnused = sorted(x for x in range(2001,maximumID) if x not in valueSet) - #~ print("\nUnused values") - #~ valueToName = {} - #~ for name, feature in f.features.items(): - #~ try: - #~ value = int(feature["Value"]) - #~ valueToName[value] = name - #~ except ValueError: - #~ pass - #~ for v in valuesUnused: - #~ prev = valueToName.get(v-1, "") - #~ print(v, prev) + if showUnused: + valuesUnused = sorted(x for x in range(2001,maximumID) if x not in valueSet) + print("\nUnused values") + valueToName = {} + for name, feature in f.features.items(): + try: + value = int(feature["Value"]) + valueToName[value] = name + except ValueError: + pass + for v in valuesUnused: + prev = valueToName.get(v-1, "") + print(v, prev) if __name__ == "__main__": RegenerateAll(pathlib.Path(__file__).resolve().parent.parent, True) -- cgit v1.2.3