(gui, key)
| 1178 | } |
| 1179 | |
| 1180 | function getLocalStorageHash(gui, key) { |
| 1181 | // TODO how does this deal with multiple GUI's? |
| 1182 | return document.location.href + '.' + key; |
| 1183 | } |
| 1184 | |
| 1185 | function addPresetOption(gui, name, setSelected) { |
| 1186 | const opt = document.createElement('option'); |
no outgoing calls
no test coverage detected
searching dependent graphs…