From: Jérémie D. <Ba...@us...> - 2010-02-21 18:09:25
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "krobot". The branch, master has been updated via 68bb8ac64989467872ce6cfcc345ce5bd4f2b4bb (commit) from 2022bc49119a03672546af0c2403b821f5b0ab5b (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 68bb8ac64989467872ce6cfcc345ce5bd4f2b4bb Author: Jérémie Dimino <je...@di...> Date: Sun Feb 21 19:08:39 2010 +0100 [contorller] fix a small rendering glitch ----------------------------------------------------------------------- Changes: diff --git a/PC_Mainboard/clients/controller.ml b/PC_Mainboard/clients/controller.ml index 173b0f6..1d45d75 100644 --- a/PC_Mainboard/clients/controller.ml +++ b/PC_Mainboard/clients/controller.ml @@ -275,7 +275,7 @@ let rec draw krobot = Draw.text zone 0 0 (Printf.sprintf "(reverse-i-search)'%s'" state.Engine.search_word); begin match state.Engine.search_history with | [] -> - 20 + len + 19 + len | phrase :: _ -> let ptr_start = match Text.find phrase state.Engine.search_word with | Some ptr -> @@ -295,7 +295,7 @@ let rec draw krobot = Reset; Text after; ]; - 20 + len + 19 + len end in Draw.map zone cursor_position 0 (fun point -> { point with style = { point.style with inverse = true } }); hooks/post-receive -- krobot |