Full-text checkbox: wire up to browser history