From 402a102fa4c8d90a1f11647d400d361412511a33 Mon Sep 17 00:00:00 2001 From: slava Date: Fri, 4 Aug 2006 02:01:24 +0000 Subject: [PATCH] Hide the caret if we don't have focus --- library/ui/text/editor.factor | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/library/ui/text/editor.factor b/library/ui/text/editor.factor index 0d6102b25a..e1b6318c37 100644 --- a/library/ui/text/editor.factor +++ b/library/ui/text/editor.factor @@ -129,9 +129,11 @@ M: loc-monitor model-changed ( obj -- ) control-self relayout ; : draw-caret ( -- ) - editor get - dup editor-caret-color gl-color - caret-rect rect-extent gl-line ; + editor get editor-focused? [ + editor get + dup editor-caret-color gl-color + caret-rect rect-extent gl-line + ] when ; : translate-lines ( n editor -- ) line-height * 0.0 swap 0.0 glTranslated ;