voidtools forum

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.

I will consider a separator filter.

Thank you for the suggestion.

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

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

void wrote: ↑Tue Sep 12, 2023 3:31 am I will consider a separator filter.

Thank you for the suggestion.

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

Good idea. And thanks!

abr01 wrote: ↑Mon Sep 11, 2023 1:12 pm 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

meteorquake wrote: ↑Tue Sep 12, 2023 12:20 pm [...]
any basic formatting
[...]
to filter lines (bold, dash of fore or back colour)
[...]

so +1 to expanding this feature-to-be