This repository has been archived by the owner on Jun 4, 2019. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Yoann Padioleau
authored and
Yoann Padioleau
committed
May 18, 2012
1 parent
e3c5d8a
commit b173329
Showing
7 changed files
with
100 additions
and
8 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,2 +1,6 @@ | ||
|
||
val paint: Model3.world -> unit | ||
|
||
val button_action: | ||
< as_widget : [> `widget ] Gtk.obj; .. > -> | ||
Model3.world -> GdkEvent.Button.t -> bool |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,40 @@ | ||
(* 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. | ||
*) | ||
open Common | ||
(* floats are the norm in graphics *) | ||
open Common.ArithFloatInfix | ||
|
||
(*****************************************************************************) | ||
(* Prelude *) | ||
(*****************************************************************************) | ||
|
||
(* This module mainly modifies the w.overlay cairo surface. It also | ||
* triggers the refresh_da which triggers itself the expose event | ||
* which triggers the View.assemble_layers composition of w.pm with | ||
* w.overlay | ||
*) | ||
|
||
(*****************************************************************************) | ||
(* The overlays *) | ||
(*****************************************************************************) | ||
|
||
(*****************************************************************************) | ||
(* Assembling overlays *) | ||
(*****************************************************************************) | ||
|
||
let motion_notify da w ev = | ||
pr2 "View_overlay: motion_notify Todo"; | ||
true | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
|
||
val motion_notify: | ||
< as_widget : [> `widget ] Gtk.obj; .. > -> | ||
Model3.world -> GdkEvent.Motion.t -> bool |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters