You could come up with a better name for the flag

Yeah, I only realised that the problem was the name of the flag after I posted that.

Based on my following post semi_random_guess_if_symbols_should_leak_everywhere 😁

Hmmm, maybe just simply globaly_visible?

But I agree with @techee, the filtering is useful to lower the amount of irrelevant suggestions in most situations, so we have to find where to draw the line.

Agree, see my long post

Or we go the Geany way and add a setting? 😄

Oh, how could we resist ...

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.