diff options
author | Robin Gareus <robin@gareus.org> | 2017-05-05 13:59:48 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2017-05-05 14:00:30 +0200 |
commit | 401eefec1c6b8802f562954399956a11774963f2 (patch) | |
tree | 75471dfcaa83daccbab7cb5eb02e1638ea1a8945 /libs/gtkmm2ext/gtk_ui.cc | |
parent | 8335155863b39cb54e5241a53c3686e667e65450 (diff) |
remove cruft (unused UI::ui_scale)
Diffstat (limited to 'libs/gtkmm2ext/gtk_ui.cc')
-rw-r--r-- | libs/gtkmm2ext/gtk_ui.cc | 1 |
1 files changed, 0 insertions, 1 deletions
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(); |