From 9159ce74ab6acc279a3e524fefaac93b24faab70 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Tue, 8 Sep 2009 16:23:12 -0500 Subject: [PATCH] ui.tools.browser: don't scroll up when reloading page --- basis/ui/tools/browser/browser.factor | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/basis/ui/tools/browser/browser.factor b/basis/ui/tools/browser/browser.factor index d3aa56a694..3d590feb58 100644 --- a/basis/ui/tools/browser/browser.factor +++ b/basis/ui/tools/browser/browser.factor @@ -83,8 +83,8 @@ M: browser-gadget handle-gesture } 2|| ; M: browser-gadget definitions-changed ( assoc browser -- ) - model>> [ value>> swap showing-definition? ] keep - '[ _ notify-connections ] when ; + [ model>> value>> swap showing-definition? ] keep + '[ _ [ history-value ] keep set-history-value ] when ; M: browser-gadget focusable-child* search-field>> ;