| Index: lib/requestNotifier.js |
| =================================================================== |
| --- a/lib/requestNotifier.js |
| +++ b/lib/requestNotifier.js |
| @@ -38,30 +38,30 @@ if (false) |
| } |
| else |
| { |
| // Fall back to user data |
| let dataSeed = Math.random(); |
| let nodeDataProp = "abpNodeData" + dataSeed; |
| let windowStatsProp = "abpWindowStats" + dataSeed; |
| let windowSelectionProp = "abpWindowSelection" + dataSeed; |
| - function getProp(map) |
| + let getProp = function(map) |
| { |
| switch (map) |
| { |
| case nodeData: |
| return nodeDataProp; |
| case windowStats: |
| return windowStatsProp; |
| case windowSelection: |
| return windowSelectionProp; |
| default: |
| return null; |
| } |
| - } |
| + }; |
| setEntry = function(map, key, value) key.setUserData(getProp(map), value, null); |
| hasEntry = function(map, key) key.getUserData(getProp(map)); |
| getEntry = function(map, key) key.getUserData(getProp(map)) || undefined; |
| } |
| /** |
| * List of notifiers in use - these notifiers need to receive notifications on |