Redraw media volume slider when it is moving

third_party/WebKit/Source/core/html/shadow/MediaControlElements.cpp

 /*
  * Copyright (C) 2008, 2009, 2010, 2011 Apple Inc. All rights reserved.
  * Copyright (C) 2012 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
@@ skipping 867 matching lines @@
         UserMetricsAction("Media.Controls.VolumeChangeBegin"));
 
   if (event->type() == EventTypeNames::mouseup)
     Platform::current()->recordAction(
         UserMetricsAction("Media.Controls.VolumeChangeEnd"));
 
   if (event->type() == EventTypeNames::input) {
     double volume = value().toDouble();
     mediaElement().setVolume(volume);
     mediaElement().setMuted(false);
+    if (LayoutObject* layoutObject = this->layoutObject())
+      layoutObject->setShouldDoFullPaintInvalidation();
   }
 }
 
 bool MediaControlVolumeSliderElement::willRespondToMouseMoveEvents() {
   if (!isConnected() || !document().isActive())
     return false;
 
   return MediaControlInputElement::willRespondToMouseMoveEvents();
 }
 
@@ skipping 200 matching lines @@
 MediaControlCurrentTimeDisplayElement*
 MediaControlCurrentTimeDisplayElement::create(MediaControls& mediaControls) {
   MediaControlCurrentTimeDisplayElement* element =
       new MediaControlCurrentTimeDisplayElement(mediaControls);
   element->setShadowPseudoId(
       AtomicString("-webkit-media-controls-current-time-display"));
   return element;
 }
 
 }  // namespace blink