From 6660dc5186c2440da4897aa732cc54012d4f5fcb Mon Sep 17 00:00:00 2001
From: Lapo Calamandrei <calamandrei@gmail.com>
Date: Tue, 18 Oct 2016 13:08:02 +0200
Subject: [PATCH] widget-factory: use circular style class on the circular
 button...

...in place of the circular-button one, killing the custom style
shipped, realying on the theme style.
---
 demos/widget-factory/widget-factory.css | 5 -----
 demos/widget-factory/widget-factory.ui  | 2 +-
 2 files changed, 1 insertion(+), 6 deletions(-)

diff --git a/demos/widget-factory/widget-factory.css b/demos/widget-factory/widget-factory.css
index 7f764cac59..1782e6db5f 100644
--- a/demos/widget-factory/widget-factory.css
+++ b/demos/widget-factory/widget-factory.css
@@ -1,8 +1,3 @@
-.circular-button {
-  border-radius: 20px;
-  -gtk-outline-radius: 20px;
-}
-
 .small-button {
   padding: 0;
   outline-width: 0;
diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui
index 58f1e26720..f540cffd29 100644
--- a/demos/widget-factory/widget-factory.ui
+++ b/demos/widget-factory/widget-factory.ui
@@ -3107,7 +3107,7 @@ microphone-sensitivity-medium-symbolic</property>
                                 <property name="visible">1</property>
                                 <style>
                                   <class name="image-button"/>
-                                  <class name="circular-button"/>
+                                  <class name="circular"/>
                                 </style>
                                 <child>
                                   <object class="GtkImage">