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.

Sign up for GitHub

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

Jump to bottom

[Feature Request]: allow additional file operations in the file explorer perspective #2437

Closed
bamaer opened this issue Feb 18, 2023 · 2 comments · Fixed by #4123
Closed

[Feature Request]: allow additional file operations in the file explorer perspective #2437

bamaer opened this issue Feb 18, 2023 · 2 comments · Fixed by #4123
Assignees
@nadment
Labels
new feature
Milestone
2.10

Comments

@bamaer
Copy link
Contributor

bamaer commented Feb 18, 2023

What would you like to happen?

the file explorer perspective should have more "real" file explorer functionalities:

  • drag and drop to move between folders
  • rename, copy, delete a file
  • show/edit properties
  • create a hop-run command for the selected file

Issue Priority

Priority: 2

Issue Component

Component: Hop Gui
@nadment
Copy link
Contributor

nadment commented Feb 19, 2023

Allow the selection of several files

@nadment nadment pinned this issue Jul 11, 2024
@nadment nadment mentioned this issue Jul 11, 2024
Closed
@nadment
Copy link
Contributor

nadment commented Jul 11, 2024 •
edited
Loading

Add F3 shortcut to open selected file in explorer
Drag and drop inside file tree and from the file system
Add possibility to show/hide folders that start with a dot, such as the ".git" folder
Add plugable context menu
Add Copy name/path in context menu
Delete or rename a file don't need a full refresh
image

@nadment nadment self-assigned this Jul 11, 2024
nadment added a commit to nadment/hop that referenced this issue Jul 13, 2024
@nadment
Enhanced file explorer perspective apache#2437
29305a1 
- Add drag and drop in the file tree and from the file system
- Add F3 shortcut to open selected file
- Add Show/Hide hidden files and folders
- Add copy name/path in context menu
- Delete or rename a file don't need a full refresh
- Update some icons
@nadment nadment linked a pull request Jul 13, 2024 that will close this issue
Enhanced file explorer perspective #2437 #4123
Merged
@nadment nadment unpinned this issue Jul 25, 2024
@nadment nadment pinned this issue Jul 25, 2024
hansva added a commit that referenced this issue Jul 31, 2024
@hansva
Merge pull request #4123 from nadment/2437
2028484 
Enhanced file explorer perspective #2437
@hansva hansva added this to the 2.10 milestone Jul 31, 2024
@nadment nadment unpinned this issue Aug 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nadment nadment

Labels
new feature
Projects
None yet
Milestone
2.10
Development

Successfully merging a pull request may close this issue.

Enhanced file explorer perspective #2437 nadment/hop
3 participants
@bamaer @hansva @nadment