Support to repeat one song in Audio Player.

ui/file_manager/audio_player/elements/control_panel.js

Index: ui/file_manager/audio_player/elements/control_panel.js
diff --git a/ui/file_manager/audio_player/elements/control_panel.js b/ui/file_manager/audio_player/elements/control_panel.js
index ff36640ab5a061539848d8a9181ae1822f7c86c7..34d73c2957721d40a34304a06a18e2b454291a36 100644
--- a/ui/file_manager/audio_player/elements/control_panel.js
+++ b/ui/file_manager/audio_player/elements/control_panel.js
@@ -77,11 +77,12 @@
       },
 
       /**
-       * Whether the repeat button is ON.
+       * What mode the repeat button idicates.
+       * repeat-modes can be "repeat-none", "repeat-all", "repeat-one".
        */
-      repeat: {
-        type: Boolean,
-        value: false,
+      repeatMode: {
+        type: String,
+        value: "repeat-none",
         notify: true
       },
 
@@ -293,7 +294,7 @@
       // TODO(fukino): Use data bindings.
       this.$.volumeSlider.setAttribute('aria-label', ariaLabels.volumeSlider);
       this.$.shuffle.setAttribute('aria-label', ariaLabels.shuffle);
-      this.$.repeat.setAttribute('aria-label', ariaLabels.repeat);
+      this.$.repeatMode.setAttribute('aria-label', ariaLabels.repeatMode);

[fukino, 2016/09/09 05:31:45]

ariaLabels.repeatMode is undefined.

[harukam, 2016/09/09 11:53:45]

Acknowledged.

       this.$.previous.setAttribute('aria-label', ariaLabels.previous);
       this.$.play.setAttribute('aria-label',
           this.playing ? ariaLabels.pause : ariaLabels.play);