From 67c8388393c3774c9b574657f7ca8fc3fd2ced46 Mon Sep 17 00:00:00 2001
From: gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 30 Sep 2013 16:09:59 +0000
Subject: ideutils: stock_to_widget was ignoring the ~size argument

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16818 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/ideutils.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'ide/ideutils.ml')

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index 69dd00535..0ef39f8ed 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -216,9 +216,9 @@ let find_tag_stop (tag :GText.tag) (it:GText.iter) =
 let find_tag_limits (tag :GText.tag) (it:GText.iter) =
  (find_tag_start tag it , find_tag_stop tag it)
 
-let stock_to_widget ?(size=`DIALOG) s =
-  let img = GMisc.image ()
-  in img#set_stock s;
+let stock_to_widget ?(size=`BUTTON) s =
+  let img = GMisc.image ~icon_size:size () in
+  img#set_stock s;
   img#coerce
 
 let custom_coqtop = ref None
-- 
cgit v1.2.3