<p></p>
<blockquote>
<p dir="auto">maybe the update of the symbol list on each notebook tab change might be a noticeable performance hit on older machines ("unfortunately" I've recently got a new notebook with a bleeding fast CPU so I won't notice :D).</p>
</blockquote>
<p dir="auto">That shouldn't be a problem - update of the symbol tree is performed every time the document is re-parsed while typing and if the machine is too slow, editing the document itself would be a much bigger problem already.</p>
<blockquote>
<p dir="auto">I think it would be even better to have filters per document, otherwise it could be confusing if I switch to another document and suddenly the symbol list is empty. After wondering about it, the user will probably realize it's because of the still set filter and then will clear the filter.</p>
</blockquote>
<p dir="auto">Good point, I didn't think about that.</p>
<blockquote>
<p dir="auto">Though having per document filters obviously requires much more efforts :(.</p>
</blockquote>
<p dir="auto">What about a "lazy" solution to clear the filter automatically on a tab change?</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-990357978">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ2Z3LGYMZDJIPAOV53UQEVDVANCNFSM4TVARZXQ">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/AAIOWJ4QGH2IXPCYOU2N2QLUQEVDVA5CNFSM4TVARZX2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOHMD2TWQ.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-990357978",
"url": "https://github.com/geany/geany/pull/2657#issuecomment-990357978",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>