Details
-
Type: Improvement
-
Status: Open
-
Priority: Minor
-
Resolution: Unresolved
-
Affects Version/s: 2.11.1.5, 2.11.2
-
Fix Version/s: None
-
Component/s: gui
-
Labels:None
Description
Some old Jalview Project Files are saved with a .zip extension, but are still useful to people.
(See https://discourse.jalview.org/t/jalview-old-project/1516)
Whilst ".zip" is too generic to blanket include in the Old Jalview Project file type, it would be possible to filter these in the File Chooser to only include/make selectable zip files that have had their contents inspected.
The inspection could look at the first file entry in the .zip ending in .xml and see that it starts with
'''
<?xml version="1.0" encoding="UTF-8"?>
<JalviewModel
'''
Be careful not to open the whole contents of the entry as it might easily be a very big file and this would noticeably slow down the file chooser! If it's possible just to inspect the first 53 chars or so then this should be fast enough to not make a noticeable difference (unless you're in a dir with 1000s of .zip files). Make it a toggleable feature by a jalview property.
(See https://discourse.jalview.org/t/jalview-old-project/1516)
Whilst ".zip" is too generic to blanket include in the Old Jalview Project file type, it would be possible to filter these in the File Chooser to only include/make selectable zip files that have had their contents inspected.
The inspection could look at the first file entry in the .zip ending in .xml and see that it starts with
'''
<?xml version="1.0" encoding="UTF-8"?>
<JalviewModel
'''
Be careful not to open the whole contents of the entry as it might easily be a very big file and this would noticeably slow down the file chooser! If it's possible just to inspect the first 53 chars or so then this should be fast enough to not make a noticeable difference (unless you're in a dir with 1000s of .zip files). Make it a toggleable feature by a jalview property.