From 2de75892efb8c2ab63a3b23767d0cefd0996f8d6 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 10 Dec 2012 16:35:28 +0000
Subject: Coqide: some more refactoring to lighten coqide.ml

 Main victim is analyzed_view :
  - some unnecessary methods have been killed (hep_for_keyword for instance)
  - some other migrated elsewhere (recenter_input, find_next_occurrence, ...)
  - analyzed_view is now split in two : fileops (filename, save, revert, ...)
    and coqops (process_next_phrase, ...)

 Four new files created:
 - Sentence (for tag_on_insert and alii)
 - FileOps (ex-first-half of analyzed_view)
 - CoqOps (ex-second-half of analyzed_view)
 - Session (ex-record viewable_script and functions about it)

 Also lots of renaming, trying to be shorter (but still meaningful) and
 more uniform

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

(limited to 'ide/ideutils.ml')

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index 35a5a2477c..ed07135b59 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -11,6 +11,17 @@ open Preferences
 
 exception Forbidden
 
+let warn_image =
+  let img = GMisc.image () in
+  img#set_stock `DIALOG_WARNING;
+  img#set_icon_size `DIALOG;
+  img
+
+let warning msg =
+  GToolbox.message_box ~title:"Warning" ~icon:warn_image#coerce msg
+
+let cb = GData.clipboard Gdk.Atom.primary
+
 (* status bar and locations *)
 
 let status = GMisc.statusbar ()
-- 
cgit v1.2.3