ui.tools.browser: don't add current page to history if re-displaying it again
parent
cc5655a557
commit
eed7b20c7f
|
@ -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 ;
|
||||
|
||||
|
|
Loading…
Reference in New Issue