diff options
Diffstat (limited to 'common/content/hints.js')
| -rw-r--r-- | common/content/hints.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common/content/hints.js b/common/content/hints.js index c3f42199..51b7ecfe 100644 --- a/common/content/hints.js +++ b/common/content/hints.js @@ -863,6 +863,7 @@ var Hints = Module("hints", { else if (option == "label") { if (elem.id) { let label = (elem.ownerDocument.dactylLabels || {})[elem.id]; + // Urgh. if (label) return [label.textContent.toLowerCase(), true]; } |