From bb441f4488f49f6a60d0b45795fc65da3433cbbb Mon Sep 17 00:00:00 2001
From: Cosimo Cecchi <cosimoc@gnome.org>
Date: Wed, 18 Nov 2015 09:16:51 -0800
Subject: [PATCH] HighContrast: remove deprecated progressbar style properties

These are ignored and trigger a runtime warning.
---
 gtk/theme/HighContrast/_common.scss | 2 --
 gtk/theme/HighContrast/gtk.css      | 2 --
 2 files changed, 4 deletions(-)

diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index be1d243951..d7e8a5154e 100644
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -1783,8 +1783,6 @@ progressbar progress {
   &.osd {
     border-width: 0;
     border-radius: 0;
-    -GtkProgressBar-xspacing: 0;
-    -GtkProgressBar-yspacing: 2px;
     -GtkProgressBar-min-horizontal-bar-height: 2px; //FIXME still too tall
   }
 }
diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index 92cf28590c..93444b56b5 100644
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -1939,8 +1939,6 @@ progressbar progress {
   progressbar progress.osd {
     border-width: 0;
     border-radius: 0;
-    -GtkProgressBar-xspacing: 0;
-    -GtkProgressBar-yspacing: 2px;
     -GtkProgressBar-min-horizontal-bar-height: 2px; }
 
 /*************