brl/mutter
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

build: Convert string to int in gen-keyname-table.py

Browse Source 
Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/4267>
This commit is contained in:
Sebastian Wick 2025-02-12 15:08:22 +01:00 committed by Marge Bot
parent 1fdebedd94
commit e5f6704a81
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
clutter/clutter/gen-keyname-table.py
View File

@ -51,7 +51,7 @@ if __name__ == "__main__":
sys.exit(f"Failed to parse line: {line}")
groups = match.groups()
keys.append(Key(groups[1], groups[0]))
keys.append(Key(groups[1], int(groups[0])))
formatted_time = time.strftime("%a %b %d %H:%M:%S %Y", time.gmtime())
print(f"""/* clutter-keyname-table.h: Generated by gen-keyname-table.py from keynames.txt