From ebd95130206aa99bac457c7c6faa22bde1929813 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Tue, 18 Nov 2008 21:57:50 -0600 Subject: [PATCH] Fix stray pixel on Linux --- basis/ui/gadgets/buttons/buttons.factor | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/basis/ui/gadgets/buttons/buttons.factor b/basis/ui/gadgets/buttons/buttons.factor index c975e64b12..d74284cbd6 100644 --- a/basis/ui/gadgets/buttons/buttons.factor +++ b/basis/ui/gadgets/buttons/buttons.factor @@ -6,7 +6,6 @@ classes.tuple opengl opengl.gl math.vectors ui.commands ui.gadgets ui.gadgets.borders ui.gadgets.labels ui.gadgets.theme ui.gadgets.tracks ui.gadgets.packs ui.gadgets.worlds ui.gestures ui.render math.geometry.rect locals alien.c-types ; - IN: ui.gadgets.buttons TUPLE: button < border pressed? selected? quot ; @@ -111,10 +110,10 @@ TUPLE: checkmark-paint < caching-pen color last-vertices ; : checkmark-points ( dim -- points ) { - [ { 0 0 } v* ] - [ { 1 1 } v* ] - [ { 0 1 } v* ] - [ { 1 0 } v* ] + [ { 0 0 } v* { 0.5 0.5 } v+ ] + [ { 1 1 } v* { 0.5 0.5 } v+ ] + [ { 1 0 } v* { -0.3 0.5 } v+ ] + [ { 0 1 } v* { -0.3 0.5 } v+ ] } cleave 4array ; : checkmark-vertices ( dim -- vertices )