Option to open Workspace in file manager about rnote HOT 5 OPEN

Do you want to rename the workspace or a file/folder in the workspace? Because there is an option for both. You can rename files and folders from the the three dots menu (or open them in the default app):

And you can edit workspaces by pressing on the pen in the bottom right:

from rnote.

The appropriate place to add the ability to open the workspace location with the default file manager would be an additional action in the folder-actions menu (the one that can be opened with the folder-three-dots button)

from rnote.

Sounds good.

But I have a suggestion. Because there will be just two actions, why not directly add two icons for two actions reducing clicks. Decision is up to you.

from rnote.

I'd prefer it to be in the menu, that's the intended place for such additions

from rnote.

Okay, no problem.

from rnote.