From 15df9ddddb186ad3cda1ca4dab07ef1d8f9fd8c4 Mon Sep 17 00:00:00 2001 From: slava Date: Thu, 12 Oct 2006 22:09:30 +0000 Subject: [PATCH] Fix some UI painting bugs --- library/ui/gadgets/labels.factor | 8 ++------ library/ui/gadgets/outliner.factor | 12 ++++++++---- library/ui/opengl/opengl-utils.factor | 2 +- library/ui/paint.factor | 23 ++++++++++++----------- library/ui/tools/dataflow.factor | 6 ++++-- 5 files changed, 27 insertions(+), 24 deletions(-) diff --git a/library/ui/gadgets/labels.factor b/library/ui/gadgets/labels.factor index 3ceba9e69f..aa4e58f70f 100644 --- a/library/ui/gadgets/labels.factor +++ b/library/ui/gadgets/labels.factor @@ -13,18 +13,14 @@ C: label ( text -- label ) [ set-label-text ] keep dup label-theme ; -: label-size ( gadget -- dim ) +M: label pref-dim* dup label-font lookup-font dup font-height >r swap label-text string-width r> 2array ; -M: label pref-dim* label-size ; - -: draw-label ( label -- ) +M: label draw-gadget* dup label-color gl-color dup label-font swap label-text origin get draw-string ; -M: label draw-gadget* draw-label ; - : ( model -- gadget ) ""