From 88cce78693d7a1851186d09a3bae3f88dd0db045 Mon Sep 17 00:00:00 2001 From: malc Date: Mon, 20 Feb 2012 07:45:16 +0400 Subject: [PATCH] Cosmetics --- main.ml | 22 +++++++++++++--------- 1 file changed, 13 insertions(+), 9 deletions(-) diff --git a/main.ml b/main.ml index 473717f..4c1de79 100644 --- a/main.ml +++ b/main.ml @@ -4490,15 +4490,19 @@ let viewkeyboard key mask = end | 0xff51 | 0xff53 (* left / right *) - when conf.zoom > 1.0-> - let dx = - if Wsi.withctrl mask - then conf.winw / 2 - else 10 - in - let dx = if key = 0xff51 then dx else -dx in - state.x <- state.x + dx; - gotoy_and_clear_text state.y + when Wsi.withctrl mask && conf.zoom > 1.0 -> + let dx = + if Wsi.withctrl mask + then conf.winw / 2 + else 10 + in + let dx = if key = 0xff51 then dx else -dx in + state.x <- state.x + dx; + gotoy_and_clear_text state.y + + | 0xff51 | 0xff53 when mask = 0 -> (* left / right *) + state.text <- ""; + G.postRedisplay "lef/right" | 0xff55 -> (* prior *) let y = -- 2.11.4.GIT