Undo
Spider saves in browser local state the result of any impacting user action.
Spider saves the state in browser history before any important user action is applied.
The latter allows the following ‘magic’ features:
- Reload where you were: At anytime you may reload the browser Spider tab (F5), and Spider recovers your previous state
- Undo your actions: you may undo your last actions using undo icon, or the browser ‘Back’ feature
- Forward also works, to undo... an undo 😉
Performing an undo
You may undo:
- using the Browser button, usually a backward arrow.
- using the back arrow in the filters toolbar
- In the menu
- Or next to search input when the menu is folded