Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

57 lines (44 sloc) 1.731 kb
(*s: view_minimap.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 *)
(*****************************************************************************)
(* Scaling *)
(*****************************************************************************)
(*s: scale_minimap *)
(*e: scale_minimap *)
(*s: with_minimap *)
(*e: with_minimap *)
(*****************************************************************************)
(* Painting *)
(*****************************************************************************)
(*s: paint_minimap *)
(*e: paint_minimap *)
(* ---------------------------------------------------------------------- *)
(* The mini-map *)
(* ---------------------------------------------------------------------- *)
(*s: expose_minimap *)
(*e: expose_minimap *)
(*s: configure_minimap *)
(*e: configure_minimap *)
(* ---------------------------------------------------------------------- *)
(* The mini-map *)
(* ---------------------------------------------------------------------- *)
(*s: motion_notify_minimap *)
(*e: motion_notify_minimap *)
(*s: button_action_minimap *)
(*e: button_action_minimap *)
(*e: view_minimap.ml *)
Jump to Line
Something went wrong with that request. Please try again.