From: John Darrington Date: Wed, 5 Apr 2017 13:54:59 +0000 (+0200) Subject: Remove obsolete file psppire.gtkrc X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a3105c14148448a55189ec07ff3a545570d75e48;p=pspp Remove obsolete file psppire.gtkrc --- diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk index 53ef070851..f23102b74d 100644 --- a/src/ui/gui/automake.mk +++ b/src/ui/gui/automake.mk @@ -121,8 +121,7 @@ INSTALL_DATA_HOOKS += install-lang dist_src_ui_gui_psppire_DATA = \ $(UI_FILES) \ - $(top_srcdir)/src/ui/gui/pspp.lang \ - $(top_srcdir)/src/ui/gui/psppire.gtkrc + $(top_srcdir)/src/ui/gui/pspp.lang src_ui_gui_psppire_SOURCES = \ src/ui/gui/psppire-dialog.c \ diff --git a/src/ui/gui/psppire.gtkrc b/src/ui/gui/psppire.gtkrc deleted file mode 100644 index d6c04787d2..0000000000 --- a/src/ui/gui/psppire.gtkrc +++ /dev/null @@ -1,7 +0,0 @@ -# -# Avoid making buttons inside the PSPPIRE data sheet and variable sheet -# extra-tall. This allows more rows to fit on the screen, making data -# easier to review. -# -style "thinbuttons" { ythickness = 0 } -widget_class "**GtkButton" style : rc "thinbuttons"