From e9aea98969224513a6a900e9601105b48e1620d5 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Tue, 22 Dec 2015 16:20:09 -0500 Subject: [PATCH] widget-factory: Rename outline radius in css Rename all outline*radius properties to -gtk-outline*radius. --- demos/widget-factory/widget-factory.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/demos/widget-factory/widget-factory.css b/demos/widget-factory/widget-factory.css index 3830ce5036..7f764cac59 100644 --- a/demos/widget-factory/widget-factory.css +++ b/demos/widget-factory/widget-factory.css @@ -1,6 +1,6 @@ .circular-button { border-radius: 20px; - outline-radius: 20px; + -gtk-outline-radius: 20px; } .small-button {