Merge pull request #217 from JohnDoh/patch-1
add missing event argument for hide_menu calls
Description
Description
Details
Details
- Provenance
Thomas B. Authored on Sep 9 2014, 6:44 AM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:3ef97f8de308: add missing event arg
R3:4a25b69828ea: Small tweaks for treelist interactions - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes