AudioPlayer: Update control panel with playback progress bar.

ui/file_manager/audio_player/elements/control_panel.js

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 (function() {
   'use strict';
 
   /**
    * Moves |target| element above |anchor| element, in order to match the
    * bottom lines.
@@ skipping 81 matching lines @@
       },
 
       /**
        * Whether the volume slider is expanded or not.
        */
       volumeSliderShown: {
         type: Boolean,
         value: false,
         observer: 'volumeSliderShownChanged',
         notify: true
+      },
+
+      /**
+       * Whether the knob of time slider is being dragged.
+       */
+      dragging: {
+        type: Boolean,
+        value: false,
+        notify: true
       }
     },
 
     /**
      * Initializes an element. This method is called automatically when the
      * element is ready.
      */
     ready: function() {
       var onFocusoutBound = this.onVolumeControllerFocusout_.bind(this);
 
       this.$.volumeSlider.addEventListener('focusout', onFocusoutBound);
       this.$.volumeButton.addEventListener('focusout', onFocusoutBound);
 
-      // Prevent the time slider from being moved by arrow keys.
-      this.$.timeInput.addEventListener('keydown', function(event) {
-        switch (event.keyCode) {
-          case 37:  // Left arrow
-          case 38:  // Up arrow
-          case 39:  // Right arrow
-          case 40:  // Down arrow
-            event.preventDefault();
-            break;
-        };
-      });
+      this.$.timeSlider.addEventListener('value-change', function() {
+        if (this.dragging)
+          this.dragging = false;
+      }.bind(this));
+      this.$.timeSlider.addEventListener('immediate-value-change', function() {
+        if (!this.dragging)
+          this.dragging = true;
+      }.bind(this));
     },
 
     /**
      * Invoked when the next button is clicked.
      */
     nextClick: function() {
       this.fire('next-clicked');
     },
 
     /**
@@ skipping 51 matching lines @@
     /**
      * Converts the time into human friendly string.
      * @param {number} time Time to be converted.
      * @return {string} String representation of the given time
      */
     time2string_: function(time) {
       return ~~(time / 60000) + ':' + ('0' + ~~(time / 1000 % 60)).slice(-2);
     },
 
     /**
+     * Converts the time and duration into human friendly string.
+     * @param {number} time Time to be converted.
+     * @param {number} duration Duration to be converted.
+     * @return {string} String representation of the given time
+     */
+    computeTimeString_: function(time, duration) {
+      return this.time2string_(time) + ' / ' + this.time2string_(duration);
+    },
+
+    /**
      * Computes state for play button based on 'playing' property.
      * @return {string}
      */
     computePlayState_: function(playing) {
       return playing ? "playing" : "ended";
     },
 
     /**
      * Computes style for '.filled' element of progress bar.
      * @return {string}
      */
     computeProgressBarStyle_: function(time, duration) {
       return 'width: ' + (time / duration * 100) + '%;';
     }
   });
 })();  // Anonymous closure