mirrors/pdf.js
1
0
Fork 0
mirror of https://github.com/mozilla/pdf.js.git synced 2025-04-22 16:18:08 +02:00
Code Activity

Change how the tools are enabled.

Browse source
This commit is contained in:
Brendan Dahl 2012-02-15 13:13:07 -08:00
parent 0175f53637
commit f54486d8c8
2 changed files with 12 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/debugger.js
View file

@ -374,8 +374,8 @@ var PDFBug = (function PDFBugClosure() {
tool.init();
else
panel.textContent = tool.name + ' is disabled. To enable add ' +
' PDFBug_' + tool.id + '=true to the url query ' +
'parameters and refresh.';
' "' + tool.id + '" to the pdfBug parameter ' +
'and refresh (seperate multiple by commas).';
buttons.push(panelButton);
}
this.selectPanel(0);