/* * Copyright (C) 2009-2017 Apple 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. * 2. Redistributions in binary form must reproduce the above copyright * notice, this list of conditions and the following disclaimer in the * documentation and/or other materials provided with the distribution. * * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ #include "config.h" #include "RenderMediaControls.h" #if ENABLE(VIDEO) && PLATFORM(WIN) && USE(CG) #include "MediaControlElementTypes.h" #include "RenderStyle.h" #include <CoreGraphics/CoreGraphics.h> #include <WebKitSystemInterface/WebKitSystemInterface.h> namespace WebCore { static const int mediaSliderThumbWidth = 13; static const int mediaSliderThumbHeight = 14; void RenderMediaControls::adjustMediaSliderThumbSize(RenderStyle& style) { int part; switch (style.appearance()) { case MediaSliderThumbPart: part = MediaSliderThumb; break; case MediaVolumeSliderThumbPart: part = MediaVolumeSliderThumb; break; case MediaFullScreenVolumeSliderThumbPart: part = MediaFullScreenVolumeSliderThumb; break; default: return; } CGSize size; WKMeasureMediaUIPart(part, 0, &size); float zoomLevel = style.effectiveZoom(); style.setWidth(Length(static_cast<int>(size.width * zoomLevel), Fixed)); style.setHeight(Length(static_cast<int>(size.height * zoomLevel), Fixed)); } } #endif