Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
58 lines (48 sloc) 1.47 KB
(*s: controller2.ml *)
(*s: Facebook copyright *)
(* Yoann Padioleau
*
* Copyright (C) 2010-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.
*)
(*e: Facebook copyright *)
(* refresh drawing area *)
let _refresh_da = ref (fun () ->
failwith "_refresh_da not defined"
)
let _refresh_legend = ref (fun () ->
failwith "_refresh_legend not defined"
)
let current_rects_to_draw = ref []
let hook_finish_paint = ref (fun () ->
()
)
let current_r = ref None
let paint_content_maybe_refresher = ref None
let current_motion_refresher = ref None
let current_tooltip_refresher = ref None
let _go_back = ref (fun _w ->
failwith "_go_back not defined"
)
let _go_dirs_or_file = ref
(fun ?(current_grep_query=None) _dw_ref _paths ->
ignore current_grep_query;
failwith "_go_dirs_or_file not defined"
)
let _statusbar_addtext = ref (fun _s ->
failwith "_statusbar_addtext not defined"
)
let _set_title = ref (fun _s ->
failwith "_set_title not defined"
)
let title_of_path s = "CodeMap: " ^ s
(*e: controller2.ml *)