[REQUEST] Custom text formatting for built-in widget like `num-rows` and `num-filtered-rows`

[dheerajshenoy]

Before opening a feature request

• I checked the next branch to see if the feature has already been implemented
• I searched existing reports to see if it is already requested.

What is the user problem or growth opportunity you want to see solved?

Inability to change the format of the text produced by num-rows-filtered and num-rows widget.

How do you know that this problem exists today? Why is this important?

I could not find any way to change format in the man pages.

Who will benefit from it?

I think most of the customization freaks

Rofi version (rofi -v)

1.7.8

Configuration

https://gist.github.com/dheerajshenoy/627910e58ce5d43d4f9f414c268ddbaf

Additional information

No response

[DaveDavenport]

Can you be more clear? What formatting options are you looking for?

[dheerajshenoy]

Let's say I want the output to be in a particular way, like adding, brackets around the output of the widget.

num-filtered-rows {
    format: "[{nr}]";
}

Something like this.

[dheerajshenoy]

Since this widget in particular outputs one thing, I think we could replace {nr} with just {} instead. Maybe if other widgets output more than one information, we could differentiate with different format specifiers.

[DaveDavenport]

with a bit of creativity you can already 'fake' it a bit:

[dheerajshenoy]

But if user wants more complex formatting options for some reason, then this would require adding multiple textboxes.

[DaveDavenport]

hence my 'fake' remark... just trying to help..