From eed7b20c7f7dc1f7cceb819d768e317db6048732 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Fri, 1 May 2009 07:36:47 -0500 Subject: [PATCH] ui.tools.browser: don't add current page to history if re-displaying it again --- basis/ui/tools/browser/browser.factor | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/basis/ui/tools/browser/browser.factor b/basis/ui/tools/browser/browser.factor index a493d5d7d2..1b8af1dd03 100644 --- a/basis/ui/tools/browser/browser.factor +++ b/basis/ui/tools/browser/browser.factor @@ -25,7 +25,10 @@ M: browser-gadget set-history-value : show-help ( link browser-gadget -- ) [ >link ] dip - [ [ add-recent ] [ history>> add-history ] bi* ] + [ + 2dup model>> value>> = + [ 2drop ] [ [ add-recent ] [ history>> add-history ] bi* ] if + ] [ model>> set-model ] 2bi ;