a5dacf0d0a
'FlagManager' allows cached access to the flag objects, takes care of renaming flags and notifies GUI components with the hook 'flag_label_did_change'. |
||
---|---|---|
.. | ||
__init__.py | ||
item.py | ||
model.py | ||
searchbar.py | ||
toolbar.py | ||
tree.py |