This addition makes the file browser the main source for downloading files and directories. Previously, users were only able to download the active file in the editor. The responsibly of this function has been moved to the file browser context menu.
Changes:
The editor no longer contains the logic to download the active file, the button has been removed.
Users can download files from the file browser context menu.
Users can download entire directories as zips from the file browser context menu.
This addition makes the file browser the main source for downloading files and directories. Previously, users were only able to download the active file in the editor. The responsibly of this function has been moved to the file browser context menu.
Changes: