From 84c40ce3c393544e8ffd0d1ddbe38209d03db60f Mon Sep 17 00:00:00 2001 From: malc Date: Sun, 19 May 2013 19:21:27 +0400 Subject: [PATCH] Rrrrrright --- main.ml | 1 + wsi.ml | 4 +++- wsi.mli | 1 + 3 files changed, 5 insertions(+), 1 deletion(-) diff --git a/main.ml b/main.ml index a5968eb..17c3fec 100644 --- a/main.ml +++ b/main.ml @@ -7353,6 +7353,7 @@ let () = method expose = if m_uptodatewrtreshape then G.postRedisplay "expose" + method visible = G.postRedisplay "visible" method display = m_uptodatewrtreshape <- true; display () method reshape w h = m_uptodatewrtreshape <- false; reshape w h method mouse b d x y m = mouse b d x y m diff --git a/wsi.ml b/wsi.ml index 483ac55..c72e06e 100644 --- a/wsi.ml +++ b/wsi.ml @@ -23,6 +23,7 @@ let vlog fmt = Format.kprintf ignore fmt;; let onot = object method display = () method expose = () + method visible = () method reshape _ _ = () method mouse _ _ _ _ _ = () method motion _ _ = () @@ -37,6 +38,7 @@ end;; class type t = object method display : unit method expose : unit + method visible : unit method reshape : int -> int -> unit method mouse : int -> bool -> int -> int -> int -> unit method motion : int -> int -> unit @@ -528,7 +530,7 @@ let readresp sock = | 15 -> (* visibility *) let vis = r8 resp 8 in - if vis != 2 then state.t#expose; + if vis != 2 then state.t#visible; vlog "visibility %d" vis; | 34 -> (* mapping *) diff --git a/wsi.mli b/wsi.mli index cbeb593..dd10f09 100644 --- a/wsi.mli +++ b/wsi.mli @@ -15,6 +15,7 @@ type winstate = class type t = object method display : unit method expose : unit + method visible : unit method reshape : int -> int -> unit method mouse : int -> bool -> int -> int -> int -> unit method motion : int -> int -> unit -- 2.11.4.GIT