(gui, key)
| 2586 | } |
| 2587 | |
| 2588 | function getLocalStorageHash(gui, key) { |
| 2589 | // TODO how does this deal with multiple GUI's? |
| 2590 | return document.location.href + '.' + key; |
| 2591 | |
| 2592 | } |
| 2593 | |
| 2594 | function addSaveMenu(gui) { |
| 2595 |
no outgoing calls
no test coverage detected