Open file for local editing should not wait till the currently-running sync completes

[allexzander]

How to use GitHub

• Please use the 👍 reaction to show that you want to have the same feature implemented.
• Please don't comment if you have no relevant information to add. It's just extra noise for everyone subscribed to this issue.
• Subscribe to receive notifications on status change and new comments.

Feature description

Right now, if we have a long sync already running, or, if we have a lot of files to sync (many data on the server) and we click the "Edit locally" link in the WebUI, we will have to wait indefinitely until the sync completes before the file will get opened locally or even worse it may not be selected for sync and we will still have to wait till the sync completes before seeing the error message.

We need to abort the currently running sync (maybe make sure we are not aborting hydration of a file via VFS as this might bring troubles), and then, force-sync just one file that we want to edit locally or the folder it resides in. This will make opening a file for local editing faster.

NOTE: This will need some nice design decisions.

[allexzander]

@tobiasKaminsky @jancborchardt (for design decisions)