FS#66606 - [intellij-idea-community-edition] No option File -> Export -> Export to zip

Attached to Project: Community Packages
Opened by danieltetraquark (danieltetraquark) - Sunday, 10 May 2020, 21:45 GMT
Last edited by Doug Newgard (Scimmia) - Tuesday, 12 May 2020, 16:07 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To Maxime Gauduin (Alucryd)
Levente Polyak (anthraxx)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:
Since a few versions the option File -> Export -> Export to zip has gone away. This option is available on the latest Windows Version.

Additional info:
package version: 2020.1.1-1

Steps to reproduce:
Try to do File -> Export -> Export to zip and see that there is no option to do "Export to zip".
This task depends upon

Closed by  Doug Newgard (Scimmia)
Tuesday, 12 May 2020, 16:07 GMT
Reason for closing:  Not a bug
Comment by danieltetraquark (danieltetraquark) - Tuesday, 12 May 2020, 16:00 GMT
I exported my settings, resetted them to defaults then imported them. Now Export to zip is available again 🤔

I don't know why that is...

Loading...