NerdNumber9
|
b14c3cc49f
|
Logging tweak in ExtensionManager
|
2019-04-14 21:43:19 -04:00 |
|
NerdNumber9
|
bd27cb74a7
|
Add extension/source blacklist
|
2019-04-14 12:48:59 -04:00 |
|
NerdNumber9
|
c6b28cbcaf
|
Upgrade dependencies
Remove Firebase Perf for better build speeds
|
2019-04-09 21:43:47 -04:00 |
|
inorichi
|
af637a82c3
|
Fix subtle bugs when installing/loading extensions
|
2018-03-09 18:56:02 +01:00 |
|
inorichi
|
8e50ac67bc
|
Bugfixes and extension installation improvements
|
2018-03-02 18:10:10 +01:00 |
|
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 |
|