From 8ee04cf68fadb48b877afbe775c13a8a1938f47a Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Wed, 9 Mar 2016 09:07:33 +0000 Subject: remove unused theme ui elements from preferances dialog --- gtk/res/options.gtk2.ui | 11 ----------- gtk/res/options.gtk3.ui | 11 ----------- 2 files changed, 22 deletions(-) diff --git a/gtk/res/options.gtk2.ui b/gtk/res/options.gtk2.ui index 0d110242c..d5542ba5d 100644 --- a/gtk/res/options.gtk2.ui +++ b/gtk/res/options.gtk2.ui @@ -2984,17 +2984,6 @@ - - - - - - - - preferencesThemeTypeDefault - - - diff --git a/gtk/res/options.gtk3.ui b/gtk/res/options.gtk3.ui index 1e308b542..2a3516f09 100644 --- a/gtk/res/options.gtk3.ui +++ b/gtk/res/options.gtk3.ui @@ -3034,17 +3034,6 @@ - - - - - - - - preferencesThemeTypeDefault - - - -- cgit v1.2.3