Lines Matching refs:tool
517 var tool = tools[i];
518 if (all || ids.includes(tool.id)) {
519 tool.enabled = true;
561 var tool = tools[i];
564 panelButton.textContent = tool.name;
573 tool.panel = panel;
574 tool.manager = this;
575 if (tool.enabled) {
576 tool.init(pdfjsLib);
578 panel.textContent = tool.name + ' is disabled. To enable add ' +
579 ' "' + tool.id + '" to the pdfBug parameter ' +