RumovZ a5dacf0d0a Add flag manager and hook ... 'FlagManager' allows cached access to the flag objects, takes care of renaming flags and notifies GUI components with the hook 'flag_label_did_change'.		2021-07-02 11:16:10 +02:00
..
build_ui.sh	fix remaining _() references; remove unused imports	2020-11-18 12:43:46 +10:00
extract_sass_colors.py	run black/isort on Python scripts	2021-04-14 18:22:02 +10:00
genhooks_gui.py	Add flag manager and hook	2021-07-02 11:16:10 +02:00
profile.py	add missing copyright headers to *.py	2021-04-13 18:45:35 +10:00
runanki.system.in	initial Bazel conversion	2020-11-01 14:26:58 +10:00