Paint dotted borders using circular dots

third_party/WebKit/Source/platform/graphics/GraphicsContext.h

Index: third_party/WebKit/Source/platform/graphics/GraphicsContext.h
diff --git a/third_party/WebKit/Source/platform/graphics/GraphicsContext.h b/third_party/WebKit/Source/platform/graphics/GraphicsContext.h
index 3c164c746c9a52cb2cf0974cf5c6f17fd1b87ae9..4cf8dd5d692fad3535c9dad91c20b8c09cbf2398 100644
--- a/third_party/WebKit/Source/platform/graphics/GraphicsContext.h
+++ b/third_party/WebKit/Source/platform/graphics/GraphicsContext.h
@@ -411,6 +411,11 @@ class PLATFORM_EXPORT GraphicsContext {
                                const FloatRoundedRect& roundedHoleRect,
                                const Color&);
 
+  // Determine whether a stroked line should be drawn using dashes. In practice,
+  // we draw dashes when a dashed stroke is specified or when a dotted stroke
+  // is specified but the line width is too small to draw circles.
+  static bool strokeIsDashed(float width, StrokeStyle);
+
   const SkMetaData& metaData() const { return m_metaData; }
 
   // null indicates painting is contextDisabled. Never delete this object.