From: John Darrington <john@darrington.wattle.id.au>
Date: Fri, 6 Jul 2018 12:13:58 +0000 (+0200)
Subject: Recommend Gtk+ version 3.22 or later.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=13b7589356394e01a5e1d7e8d366e3a105091e46;hp=6ee30c166727634ef579354e29eff96f70675418;p=pspp

Recommend Gtk+ version 3.22 or later.

Adresses concern in bug #52500

* INSTALL: Add a comment about GTK+ version
---

diff --git a/INSTALL b/INSTALL
index 2ab967c2b8..b1166b20b6 100644
--- a/INSTALL
+++ b/INSTALL
@@ -90,6 +90,8 @@ use the GUI, you must run `configure' with --without-gui.
       but other versions should be fine.
 
     * GTK+ (http://www.gtk.org/), version 3.14.5 or later.
+      It has been reported that versions prior to 3.22.x give problems,
+      so a recent version is recommended.
 
     * GtkSourceView (http://projects.gnome.org/gtksourceview/) 
       version 3.4.0 or later.