From 9268cf45e9acb23508b2f299b8bf4441a6d66f58 Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@factorcode.org>
Date: Fri, 5 Oct 2007 02:07:31 -0400
Subject: [PATCH] Forgot to record change

---
 extra/ui/gadgets/panes/panes.factor | 21 ---------------------
 1 file changed, 21 deletions(-)

diff --git a/extra/ui/gadgets/panes/panes.factor b/extra/ui/gadgets/panes/panes.factor
index ab11413306..6adaca7746 100644
--- a/extra/ui/gadgets/panes/panes.factor
+++ b/extra/ui/gadgets/panes/panes.factor
@@ -184,33 +184,12 @@ M: pane-stream make-span-stream
 : apply-presentation-style ( style gadget -- style gadget )
     presented [ <presentation> ] apply-style ;
 
-TUPLE: scroll-to-me done? ;
-
-: <scroll-to-me>
-    scroll-to-me construct-empty
-    [ set-gadget-delegate ] keep ;
-
-: scroll-on-graft? ( gadget -- ? )
-    parents
-    [ [ pane? ] is? ] subset
-    [ pane-scrolls? ] contains? not ;
-
-M: scroll-to-me graft*
-    dup scroll-to-me-done? [
-        t over set-scroll-to-me-done?
-        dup scroll-on-graft? [ dup scroll>gadget ] when
-    ] unless delegate graft* ;
-
-: apply-highlight-style ( style gadget -- style gadget )
-    highlight [ drop <scroll-to-me> ] apply-style ;
-
 : <styled-label> ( style text -- gadget )
     <label>
     apply-foreground-style
     apply-background-style
     apply-font-style
     apply-presentation-style
-    apply-highlight-style
     nip ;
 
 ! Paragraph styles