From: John Darrington Date: Tue, 9 Aug 2016 23:02:07 +0000 (+0200) Subject: Remove call to deprecated gtk_style_context_get_font X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=e616e74c79756510aa504b4a2885b2a9b18ed546;hp=e616e74c79756510aa504b4a2885b2a9b18ed546;p=pspp Remove call to deprecated gtk_style_context_get_font ---