Browsing: tools for editors