From 401eefec1c6b8802f562954399956a11774963f2 Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Fri, 5 May 2017 13:59:48 +0200
Subject: remove cruft (unused UI::ui_scale)

---
 libs/gtkmm2ext/gtk_ui.cc | 1 -
 1 file changed, 1 deletion(-)

(limited to 'libs/gtkmm2ext/gtk_ui.cc')

diff --git a/libs/gtkmm2ext/gtk_ui.cc b/libs/gtkmm2ext/gtk_ui.cc
index 3ec7817edc..c2210bba93 100644
--- a/libs/gtkmm2ext/gtk_ui.cc
+++ b/libs/gtkmm2ext/gtk_ui.cc
@@ -55,7 +55,6 @@ using namespace PBD;
 using std::map;
 
 UI*   UI::theGtkUI = 0;
-float UI::ui_scale = 1.0;
 
 BaseUI::RequestType Gtkmm2ext::NullMessage = BaseUI::new_request_type();
 BaseUI::RequestType Gtkmm2ext::ErrorMessage = BaseUI::new_request_type();
-- 
cgit v1.2.3