[Android] Improve extension preferences

[David Papazian]

vlc-android | branch: master | David Papazian <david.papazian at metz.supelec.fr> | Fri Aug 25 16:16:58 2017 +0200| [576c40522862397c7be1a1d872c1a892f66d965e] | committer: Geoffrey Métais

Improve extension preferences

Signed-off-by: Geoffrey Métais <geoffrey.metais at gmail.com>

> https://code.videolan.org/videolan/vlc-android/commit/576c40522862397c7be1a1d872c1a892f66d965e
---

 vlc-android/res/values/strings.xml                 |   2 +
 vlc-android/res/xml/preferences.xml                |   3 +-
 vlc-android/res/xml/preferences_extension_page.xml |   7 ++
 .../videolan/vlc/extensions/ExtensionsManager.java |  12 ++
 .../gui/preferences/BasePreferenceFragment.java    |   2 +-
 .../preferences/PreferencesExtensionFragment.java  | 130 +++++++++++++++++++++
 .../vlc/gui/preferences/PreferencesExtensions.java |  85 ++++++++------
 .../vlc/gui/preferences/PreferencesFragment.java   |   7 +-
 8 files changed, 208 insertions(+), 40 deletions(-)

Diff:   https://code.videolan.org/videolan/vlc-android/commit/576c40522862397c7be1a1d872c1a892f66d965e