view .hgtags @ 457:ec11a35dcf14

platform (android): open_url now tries to open the right activity for any URL: media type is guessed (by Python standard mimetypes lib then Android API) to try to open the right intent, before defaulting to generic open_url.
author Goffi <goffi@goffi.org>
date Wed, 01 Apr 2020 23:59:00 +0200
parents f3d75d18a473
children d98e2383df58
line wrap: on
line source

f95d0c31d45558c7b3e2fc39398f51eb0190bdca 0.7.0a1
4233be74572a1af8eebd502c009a10641c63ca0c 0.7.0a3
5c28cf8815319abd8c963022091cf4726764a3e6 0.7.0b1
51f73d210da908c9fb292e6bd7fda42a9d2b8453 0.7.0