diff options
author | Neil <nyamatongwe@gmail.com> | 2022-10-19 13:36:08 +1100 |
---|---|---|
committer | Neil <nyamatongwe@gmail.com> | 2022-10-19 13:36:08 +1100 |
commit | e9280bf01239e81b01899992647766d0c073253b (patch) | |
tree | 924d5f1a128552bf8c0b92f8c579544f34edc0ed /scripts | |
parent | 19a781319ccc6c9de302182e141383ba73403030 (diff) | |
download | scintilla-mirror-e9280bf01239e81b01899992647766d0c073253b.tar.gz |
Feature [feature-requests:#1455] Implement GetStyledTextFull as a 64-bit safe
version of GetStyledText.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/HFacer.py | 27 |
1 files changed, 15 insertions, 12 deletions
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) |