Access files in zip

[jarondl]

This major commit keeps the files compressed in the zip archive,
accessing them on the fly. For that an independent library called
zipfileprovider was created. (It is also hosted on a different github repo).

[jarondl]

The first commit changes code in OxygenGuide,
the next three are less interesting and they regard the zipfileprovider subproject.

[nicolas-raoul]

Great!
I can't wait to test this :-)
I guess this results in serious SD card space savings.

[jarondl]

Hi.
Yeah, we are down from about 1Gb to the size of the zip, which is about 100mb.
I want to add several clarifications.

• The idea is based on this relatively new google play feature: http://developer.android.com/google/play/expansion-files.html
  but I think it should not be implemented as a whole, as it makes the app dependent on the google play store.
• I have used their lib together with my own extension, which allows reading of compressed files.
• I have changed the main java file to use this. It has also simplified the download process.
• Currently it only works for htmlview, I have no idea how to make it work with an external browser.
• I see that the version here is called 1.3, and on google play and f-droid it is 1.5. Were there many changes?
• This is almost the first time I edit an android program, so I hope I havn't messed up all the sdk targets etc in the AndroidManifest, or anything else for that matter.

Its great that you are interested, and I hope the code will pass your testing

[nicolas-raoul]

I totally agree with you on the fact that we should not be dependent on Google Play, because it is not present on Android platforms like Kindle and most smartphones in China. Additionally, an app that relies on a proprietary library can not be called Open Source.

Indeed, we loose the ability to open in an external browser, but I guess it is unavoidable. The gain in size is worth it.