From ff07625766b39f15da71d0a89371fc2f0c0de849 Mon Sep 17 00:00:00 2001 From: Kris Maglione Date: Wed, 18 Jan 2012 19:21:04 -0500 Subject: [PATCH] Update options.xml for last commit. --- common/locale/en-US/options.xml | 3 ++- common/modules/buffer.jsm | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/common/locale/en-US/options.xml b/common/locale/en-US/options.xml index 19912972..f195845f 100644 --- a/common/locale/en-US/options.xml +++ b/common/locale/en-US/options.xml @@ -1053,7 +1053,8 @@ 'ln' 'linenumbers' 'linenumbers' 'ln' &option.linenumbers.type; - *, mxr.mozilla.org:a.l, pastebin.com:#code_frame>div>ol>li, diff --git a/common/modules/buffer.jsm b/common/modules/buffer.jsm index 080d17a9..5784880f 100644 --- a/common/modules/buffer.jsm +++ b/common/modules/buffer.jsm @@ -2230,7 +2230,7 @@ var Buffer = Module("Buffer", { options.add(["linenumbers", "ln"], "Patterns used to determine line numbers used by G", "sitemap", { - "view-source:*": 'span[id^=line]', + "view-source:*": '[id^=line]', "code.google.com": '#nums [id^="nums_table"] a[href^="#"]', "github.com": '.line_numbers>*', "mxr.mozilla.org": 'a.l',