diff options
author | Silvano Cerza <silvanocerza@gmail.com> | 2019-10-24 21:56:05 +0200 |
---|---|---|
committer | Silvano Cerza <silvanocerza@gmail.com> | 2019-11-04 20:24:59 +0100 |
commit | 84410f937e6504f72e8a35becf237049b640b39f (patch) | |
tree | a300c8b4be2a49f2660afdb5ab2579958296ec9d /platform/osx/os_osx.mm | |
parent | dc114fa2ef336646f56d71322ba0236c00f8228e (diff) |
Improved search in settings dialogs
Settings search used to work only on properties, so if a searchbox text
was a substring of a category but not of a property the whole category
would be filtered out and no property would be shown.
Now the behaviour is changed so that when the searchbox text is a
substring of a category all its properties are shown too.
The previous behaviour is still present so that in case the searchbox
text is both a substring of a category and a property of another
category, all properties of the first category are shown and only the
property of the second category is shown.
Diffstat (limited to 'platform/osx/os_osx.mm')
0 files changed, 0 insertions, 0 deletions