| Index: tools/dom/scripts/monitored.py
|
| diff --git a/tools/dom/scripts/monitored.py b/tools/dom/scripts/monitored.py
|
| index 9d0c8da390a8495414989eae26878a52648a9228..5d180c96964e2b9a97bc855fb0d2592b657114ed 100644
|
| --- a/tools/dom/scripts/monitored.py
|
| +++ b/tools/dom/scripts/monitored.py
|
| @@ -46,6 +46,9 @@ class Dict(MonitoredCollection):
|
| self._used_keys.add(key)
|
| return self._map.get(key, default)
|
|
|
| + def keys(self):
|
| + return self._map.keys()
|
| +
|
| def CheckUsage(self):
|
| for v in sorted(self._map.keys()):
|
| if v not in self._used_keys:
|
|
|