Adding some separator to the filter bar

[abr01]

That would be a nice feature, if we could add a thin, faint separator line to the list in the filter bar, so we can group them.

[void]

I will consider a separator filter.

Thank you for the suggestion.

For now, please consider naming a filter with:
—————————————

[meteorquake]

If without much effort there's any basic formatting that can be made to filter lines (bold, dash of fore or back colour) so we can make individual items stand out that would also be handy. I guess the same thought would apply to bookmarks too.
d

[abr01]

I will consider a separator filter.

Thank you for the suggestion.

For now, please consider naming a filter with:
—————————————

Good idea. And thanks!

[Thy Grand Voidinesss]

That would be a nice feature, if we could add a thin, faint separator line to the list in the filter bar, so we can group them.

This idea already has been discussed: viewtopic.php?p=48016

Although back then I have not thought about how great it would be to be able to do

[...]
any basic formatting
[...]
to filter lines (bold, dash of fore or back colour)
[...]

so +1 to expanding this feature-to-be