ui.tools.browser: don't add current page to history if re-displaying it again
ui.tools.browser: don't add current page to history if re-displaying it again
mrjbq7/factor,factor/factor,slavapestov/factor,AlexIljin/factor,nicolas-p/factor,bpollack/factor,tgunr/factor,tgunr/factor,slavapestov/factor,nicolas-p/factor,bjourne/factor,bpollack/factor,factor/factor,dch/factor,slavapestov/factor,AlexIljin/factor,bpollack/factor,tgunr/factor,sarvex/factor-lang,slavapestov/factor,mrjbq7/factor,sarvex/factor-lang,mrjbq7/factor,dch/factor,sarvex/factor-lang,bpollack/factor,dch/factor,nicolas-p/factor,factor/factor,bjourne/factor,bjourne/factor,slavapestov/factor,tgunr/factor,sarvex/factor-lang,nicolas-p/factor,slavapestov/factor,bjourne/factor,mrjbq7/factor,nicolas-p/factor,AlexIljin/factor,factor/factor,AlexIljin/factor,tgunr/factor,mrjbq7/factor,dch/factor,factor/factor,nicolas-p/factor,bjourne/factor,bpollack/factor,sarvex/factor-lang,sarvex/factor-lang,bjourne/factor,tgunr/factor,bpollack/factor,AlexIljin/factor,AlexIljin/factor,AlexIljin/factor,slavapestov/factor,mrjbq7/factor,sarvex/factor-lang,dch/factor,bpollack/factor,dch/factor,bjourne/factor,nicolas-p/factor,factor/factor