From 5776bf8dd11486b5f26fca81f68aadd7e5d9e60d Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 10 Jan 2019 18:20:05 +0100
Subject: [PATCH] [gui] restore lablgtk2 compatibility
---
src/plugins/gui/GSourceView2.ml.in | 1 +
src/plugins/gui/gtk_helper.ml | 2 +-
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/plugins/gui/GSourceView2.ml.in b/src/plugins/gui/GSourceView2.ml.in
index 41bcdecc8ea..e85f92d2c28 100644
--- a/src/plugins/gui/GSourceView2.ml.in
+++ b/src/plugins/gui/GSourceView2.ml.in
@@ -9,6 +9,7 @@ let make_marker_attributes
?(pixbuf:GdkPixbuf.pixbuf option)
?(icon_name:string option)
() =
+ ignore icon_name; (* not in lablgtk2. *)
source#set_mark_category_priority ~category priority;
source#set_mark_category_pixbuf ~category pixbuf;
source#set_mark_category_background ~category background
diff --git a/src/plugins/gui/gtk_helper.ml b/src/plugins/gui/gtk_helper.ml
index a2125f34f98..bbc2ab55ba4 100644
--- a/src/plugins/gui/gtk_helper.ml
+++ b/src/plugins/gui/gtk_helper.ml
@@ -976,10 +976,10 @@ let select_file ?title ?(dir=default_dir) ?(filename="") () =
GWindow.file_chooser_dialog
~action:`OPEN
?title
- ~filename
~modal:true
()
in
+ ignore (dialog#set_filename filename);
let result = ref None in
let action r =
(match r with
--
GitLab