From d0a3442b30348f3db11441280be92d6c4bd9cd6b Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Mon, 12 Jan 2009 22:17:39 -0600 Subject: [PATCH] Fix vocab filtering in profiler --- basis/ui/tools/profiler/profiler.factor | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/basis/ui/tools/profiler/profiler.factor b/basis/ui/tools/profiler/profiler.factor index d5a4dcdea9..e61ec25bd5 100644 --- a/basis/ui/tools/profiler/profiler.factor +++ b/basis/ui/tools/profiler/profiler.factor @@ -49,7 +49,13 @@ M: method-renderer row-value drop first ; : ( profiler -- model ) [ [ words>> ] [ vocab>> ] bi - [ [ [ first vocabulary>> ] dip = ] when* ] + [ + [ + [ first vocabulary>> ] + [ vocab-name ] + bi* = + ] when* + ] ] keep ; : match? ( pair/f str -- ? )