5 Commits

Author	SHA1	Message	Date
inorichi	32387cd034	Update available extesions whenever the screen is opened	2018-02-24 15:38:19 +01:00
inorichi	c1845aec83	Sort extensions by package name. Minor changes to extension installer	2018-02-08 15:16:13 +01:00
inorichi	eb8479ac9a	Timeout the installation of extensions after 10s	2018-02-06 22:11:36 +01:00
inorichi	636c027298	Fix extensions installer on old Android versions. Fix deadlock on devices with 1-2 cores	2018-02-06 11:42:38 +01:00
Carlos	854112095b	Downloading extensions from Github Repo. (#1101) ... Downloading extensions from Github Repo.	2018-02-05 22:50:56 +01:00