module Interface:sig
..end
Wlc.Interface.t
should be instantiated with user-defined
callbacks, then given to Wlc.init
.type
output = {
|
created : |
(* |
An output was created. Return
false if you want to destroy the output. | *) |
|
destroyed : |
(* |
An output was destroyed.
| *) |
|
focus : |
(* |
An output got or lost focus.
| *) |
|
resolution : |
(* |
An output resolution changed.
| *) |
type
view_request = {
|
geometry : |
(* |
Request to set a given geometry for a view. Apply using
Wlc.View.set_geometry to agree. | *) |
|
state : |
(* |
Request to disable or enable the given state for a view. Apply
using
Wlc.View.set_state to agree. | *) |
type
view = {
|
created : |
(* |
A view was created. Return
false if you want to destroy the view. | *) |
|
destroyed : |
(* |
A view was destroyed.
| *) |
|
focus : |
(* |
A view got or lost focus.
| *) |
|
move_to_output : |
(* |
A view was moved of output.
| *) |
|
request : |
type
keyboard = {
|
key : |
(* |
A key event was triggered, the first argument indicates the focused view.
| *) |
type
pointer = {
|
: |
(* |
A button event was triggered, the first argument indicates the focused view.
| *) |
|
scroll : |
(* |
A scroll event was triggered, the first argument indicates the focused view.
| *) |
|
motion : |
(* |
A motion event was triggered, the first argument indicates the focused view.
| *) |
type
touch = {
|
touch : |
(* |
A touch event was tiggered, the first argument indicates the focused view.
| *) |
type
compositor = {
|
ready : |
(* |
The compositor is ready to accept clients.
| *) |
type
t = {
|
output : |
|
view : |
|
keyboard : |
|
pointer : |
|
touch : |
|
compositor : |
val dummy : t