August 14, 2020, 20:12 (GMT) |
Property Search: Clarify comments, rename function |
August 14, 2020, 20:05 (GMT) |
Property Search: Fix ctrl-F shortcut after recent renaming change |
August 14, 2020, 19:53 (GMT) |
Property Search: Gray out panels with no search match |
August 14, 2020, 19:52 (GMT) |
Property Search: Add search filter active flag to region This seems like a good way to quickly check whether or not to gray out panel header text (in addition to whether they have a match). It might be nice to have this information quickly accessible in the future as well. |
August 14, 2020, 17:36 (GMT) |
Merge branch 'master' into property-search-ui-v2 |
August 13, 2020, 22:20 (GMT) |
Property Search: Search in pulldown button RNA enums This introduces a memory leak when accessing the enum items. I'll solve that later. |
August 13, 2020, 21:34 (GMT) |
Property Search: Search based on label buttons |
August 13, 2020, 20:50 (GMT) |
Merge branch 'master' into property-search-ui-v2 |
August 13, 2020, 01:22 (GMT) |
Merge branch 'master' into property-search-ui-v2 |
August 12, 2020, 02:14 (GMT) |
Merge branch 'master' into property-search-ui-v2 |
July 30, 2020, 21:44 (GMT) |
Property Search: Highlight panel headers with a search match |
July 30, 2020, 21:42 (GMT) |
Property Search: Add "search match" theme color |
July 30, 2020, 19:23 (GMT) |
Property Search: Continued refactoring / cleanup |
July 30, 2020, 18:59 (GMT) |
Property Search: Miscellaneous cleanup Mostly renaming UI_FILTERED to UI_SEARCH_FILTER_MATCHES and reversing its meaning. Also reverting some unrelated changes. |
July 30, 2020, 18:49 (GMT) |
Property Search: Gray out buttons that don't match the search |
July 30, 2020, 16:29 (GMT) |
Property Search: Remove code for changing to search layout The design for this task has changed so that the layouts won't be changed to only list the matching properties. Instead we will use highlights to communicate matching properties. After this commit property search doesn't do anything visible. Functionality will be added back in future commits. |
July 30, 2020, 15:53 (GMT) |
Merge branch 'master' into property-search-ui-v2 |
July 29, 2020, 21:21 (GMT) |
Merge branch 'master' into property-search-ui-v2 |
July 28, 2020, 21:25 (GMT) |
Merge branch 'master' into property-search-ui |
July 28, 2020, 21:12 (GMT) |
Property Search: Various cleanups and comment changes |
|