Commit f4c0dc50 authored by Sylvain Dailler's avatar Sylvain Dailler

Exception handling for image loading. Allow to use why3ide in some

situation when Gtk is not properly loaded.
parent 3a794abf
......@@ -360,11 +360,13 @@ let image ?size f =
Filename.concat (datadir main)
(Filename.concat "images" (f^".png"))
try (
match size with
| None ->
GdkPixbuf.from_file n
| Some s ->
GdkPixbuf.from_file_at_size ~width:s ~height:s n
) with _ -> !image_default
let iconname_default = ref ""
let iconname_undone = ref ""
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment