[Android] [PATCH 0/2] New Video Player layout

[Geoffrey Métais]

With these patches, I start a rework of Video Player interface.

Here are some screenshots:
https://drive.google.com/open?id=0B9oDtj0kgAzuQXlRQnE1NXplS2s&authuser=0
https://drive.google.com/open?id=0B9oDtj0kgAzuOFhUdGhseEk1X0k&authuser=0
https://drive.google.com/open?id=0B9oDtj0kgAzuN1o4VzdzOGhfcWM&authuser=0

This new layout only applies to Android 4.0.3+ devices.
Older ones will get the classic view.


Geoffrey Métais (2):
  Video Player interface revamp
  Display seek buttons by default

 vlc-android/res/layout-v15/player.xml              | 226 +++++++++++++++++++++
 vlc-android/res/layout-v17/player_action_bar.xml   |   4 +-
 vlc-android/res/layout/player_overlay_header.xml   |   2 +
 vlc-android/res/values-land-v17/dimens.xml         |   3 +
 vlc-android/res/values-port-v17/dimens.xml         |   4 +
 vlc-android/res/values-sw600dp-v17/dimens.xml      |   3 +
 vlc-android/res/values-sw600dp/dimens.xml          |   4 +
 vlc-android/res/values-v19/styles.xml              |   1 +
 vlc-android/res/values/dimens.xml                  |  14 ++
 vlc-android/res/values/styles.xml                  |   3 +-
 vlc-android/res/xml/preferences.xml                |   2 +-
 .../vlc/gui/video/VideoPlayerActivity.java         |  37 +++-
 12 files changed, 291 insertions(+), 12 deletions(-)
 create mode 100644 vlc-android/res/layout-v15/player.xml
 create mode 100644 vlc-android/res/values-land-v17/dimens.xml
 create mode 100644 vlc-android/res/values-port-v17/dimens.xml
 create mode 100644 vlc-android/res/values-sw600dp-v17/dimens.xml
 create mode 100644 vlc-android/res/values-sw600dp/dimens.xml

-- 
1.9.1