diff options
author | Hans Goudey <h.goudey@me.com> | 2020-09-15 19:25:49 +0300 |
---|---|---|
committer | Hans Goudey <h.goudey@me.com> | 2020-09-15 19:25:49 +0300 |
commit | 8bcdcab659fb688d976a50d892dcb4285ff2a180 (patch) | |
tree | d85178a6bda0ca80bc62ae6d85428d6f0ed12c5a /release/scripts/startup/bl_ui | |
parent | 7a0a60dde8b4bf120ab7977e476bf5c82b2a63ad (diff) |
UI: Single tab property search
This adds a search bar to the properties editor. The full search for
every tab isn't included in this patch, but the interaction with
panels, searching behavior, UI, region level, and DNA changes are
included here.
The block-level search works by iterating over the block's button
groups and checking whether they match the search. If they do, they
are tagged with a flag, and the block's panel is tagged too. For
every update (text edit), the panel's expansion is set to whether
the panel has a result or not. The search also checks for matching
strings inside enums and in panel labels.
One complication to this that isn't immediately apparent is that
closed panel's subpanels have to be searched too. This adds some
complexity to the area-level panel layout code.
Possible Future Improvements:
- Use the new fuzzy search in BLI
- Reset panels to their expansion before the search started if
the user escape out of the text box.
- Open all child panels of a panel with expansion.
Differential Revision: https://developer.blender.org/D8856
Diffstat (limited to 'release/scripts/startup/bl_ui')
-rw-r--r-- | release/scripts/startup/bl_ui/space_properties.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/release/scripts/startup/bl_ui/space_properties.py b/release/scripts/startup/bl_ui/space_properties.py index 53b67a20115..ff25b8cd2fa 100644 --- a/release/scripts/startup/bl_ui/space_properties.py +++ b/release/scripts/startup/bl_ui/space_properties.py @@ -31,6 +31,10 @@ class PROPERTIES_HT_header(Header): layout.separator_spacer() + layout.prop(view, "search_filter", icon='VIEWZOOM', text="") + + layout.separator_spacer() + row = layout.row() row.emboss = 'NONE' row.operator("buttons.toggle_pin", icon=('PINNED' if view.use_pin_id else 'UNPINNED'), text="") |