From ca08fce5b7438401f42623da86acae90c0ee09ea Mon Sep 17 00:00:00 2001
From: Steven Kirk <grokys@gmail.com>
Date: Mon, 25 May 2015 20:17:51 +0200
Subject: [PATCH] Work around problem in casting int to double.

Issue #49.
---
 Perspex.Themes.Default/GridSplitterStyle.cs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/Perspex.Themes.Default/GridSplitterStyle.cs b/Perspex.Themes.Default/GridSplitterStyle.cs
index 99cb0d04aa..7c8cfc9320 100644
--- a/Perspex.Themes.Default/GridSplitterStyle.cs
+++ b/Perspex.Themes.Default/GridSplitterStyle.cs
@@ -6,11 +6,9 @@
 
 namespace Perspex.Themes.Default
 {
-    using System.Linq;
     using Perspex.Controls;
-    using Perspex.Controls.Presenters;
-    using Perspex.Media;
     using Perspex.Styling;
+    using System.Linq;
 
     public class GridSplitterStyle : Styles
     {
@@ -23,7 +21,7 @@ namespace Perspex.Themes.Default
                     Setters = new[]
                     {
                         new Setter(GridSplitter.TemplateProperty, ControlTemplate.Create<GridSplitter>(this.Template)),
-                        new Setter(GridSplitter.WidthProperty, 4),
+                        new Setter(GridSplitter.WidthProperty, 4.0),
                     },
                 },
             });