Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Option to open Workspace in file manager #1053

Open
mahdihasan2006 opened this issue Mar 22, 2024 · 5 comments · May be fixed by #1089
Open

Option to open Workspace in file manager #1053

mahdihasan2006 opened this issue Mar 22, 2024 · 5 comments · May be fixed by #1089
Labels
enhancement New feature or request good first issue Good for newcomers

Comments

@mahdihasan2006
Copy link

Problem

The Workspace file browser doesn't have much features like searching, renaming etc.

Suggested solution

Add an option to open the Workspace in the default file manager. I think this option is useful even if you add searching, renaming etc. features in the app.

Optional

You may add the option in the red marked location or wherever you find good.

Additional context

image

@silvasch
Copy link
Contributor

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):
image

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

@flxzt
Copy link
Owner

flxzt commented Mar 22, 2024

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)

@flxzt flxzt added enhancement New feature or request good first issue Good for newcomers labels Mar 22, 2024
@mahdihasan2006
Copy link
Author

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.

@flxzt
Copy link
Owner

flxzt commented Mar 22, 2024

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

@mahdihasan2006
Copy link
Author

Okay, no problem.

@Doublonmousse Doublonmousse linked a pull request May 4, 2024 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request good first issue Good for newcomers
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants