steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ui.tools.browser: don't add current page to history if re-displaying it again

Slava Pestov 2009-05-01 07:36:47 -05:00
parent 9f7c0a3ccb
commit def5c18a82
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
basis/ui/tools/browser/browser.factor
View File

@ -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 ;