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

WIP: Shortcuts to special files #2231

Closed
wants to merge 47 commits into from

Conversation

harshad1
Copy link
Collaborator

@harshad1 harshad1 commented Mar 2, 2024

In this PR I have added the ability to create shortcuts to the special directories. I have also created icons for them.

To create a link to a special dir (say Favourites), Go to the favourite directory, navigate up one level and create the link as usual.

harshad1 and others added 30 commits November 29, 2023 22:17
…/markor into small_features_and_improvements
@harshad1
Copy link
Collaborator Author

harshad1 commented Mar 2, 2024

This is done. Waiting on completion of #2200 before I mark this ready to merge

@gsantner
Copy link
Owner

@harshad1 thanks #2200 is now merged. As expected quite a lot conflicts

@harshad1
Copy link
Collaborator Author

harshad1 commented Apr 5, 2024

Closing in order to open with squashed branch

@harshad1 harshad1 closed this Apr 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants