Skip to content
This repository
tree: 7a31997661
Fetching contributors…

Cannot retrieve contributors at this time

file 25 lines (23 sloc) 0.817 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
(* Yoann Padioleau
*
* Copyright (C) 2012 Facebook
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public License
* version 2.1 as published by the Free Software Foundation, with the
* special exception on linking described in file license.txt.
*
* This library is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the file
* license.txt for more details.
*)

let _set_title = ref (fun s ->
  failwith "_set_title not defined"
)
let _statusbar_addtext = ref (fun s ->
  failwith "_statusbar_addtext not defined"
)

let _refresh_drawing_area = ref (fun () ->
  failwith "_refresh_drawing_area not defined"
)
Something went wrong with that request. Please try again.