<p></p>
<blockquote>
<p dir="auto">Ahh, so its a search facility, not really a filter. Would be good, the current search is useless unless you happen to want the first occurrence.</p>
</blockquote>
<p dir="auto">But it turned out to be weird when I tried it and it really should behave as a (permanent until cleared) filter. Some things I discovered in addition:</p>
<ol dir="auto">
<li>The filter should not probably be applied against just name but the whole scope of a symbol - it's strange to see a class without its members after filtering for its name.</li>
<li>The stuff from <a class="issue-link js-issue-link" data-error-text="Failed to load title" data-id="1075821716" data-permission-text="Title is private" data-url="https://github.com/geany/geany/issues/3050" data-hovercard-type="pull_request" data-hovercard-url="/geany/geany/pull/3050/hovercard" href="https://github.com/geany/geany/pull/3050">#3050</a> should only be applied when filter changes. For C++ classes you get</li>
</ol>
<pre><code>MyClass::foo()
MyClass::bar()
MyClass::baz()
</code></pre>
<p dir="auto">in the symbol tree because <code>MyClass</code> is defined in the header and its tag isn't present in the source file. That means lots of removals of symbols in the first pass of the symbol tree update when the patch is applied which causes scrolling of the symbol tree when editing file.</p>
<p dir="auto">Sigh, I thought this would be a nice little patch, quick to apply, and here it comes again :-).</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/2657#issuecomment-990745157">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ3NOMKGZ3R2MBVTQ3TUQG5PJANCNFSM4TVARZXQ">unsubscribe</a>.<br />Triage notifications on the go with GitHub Mobile for <a href="https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675">iOS</a> or <a href="https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub">Android</a>.
<img src="https://github.com/notifications/beacon/AAIOWJ4PVFTDSO24NFN7UD3UQG5PJA5CNFSM4TVARZX2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOHMGZERI.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/pull/2657#issuecomment-990745157",
"url": "https://github.com/geany/geany/pull/2657#issuecomment-990745157",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>