Home
last modified time | relevance | path

Searched refs:toolbox_lang (Results 1 – 5 of 5) sorted by relevance

/plugin/toolbox/
H A DToolboxFindAndReplace.js16 '<button class="find">' + toolbox_lang.find + '</button>' +
21 '<button class="replace">' + toolbox_lang.replace + '</button>' +
24 '<button class="find_replace">' + toolbox_lang.find_replace + '</button>' +
25 '<button class="replace_all">' + toolbox_lang.replace_all + '</button><br />' +
67 title: toolbox_lang.f_r,
126 window.alert(toolbox_lang.notext);
168 window.alert(toolbox_lang.nothing);
172 if (window.confirm(toolbox_lang.really.replace('%d', found))) {
214 if (window.confirm(toolbox_lang.fromtop)) {
220 window.alert(toolbox_lang.nothing);
[all …]
H A Dtoolbox.js16 "title": toolbox_lang.sortasc,
23 "title": toolbox_lang.sortdesc,
30 "title": toolbox_lang.indent,
37 "title": toolbox_lang.outdent,
44 "title": toolbox_lang.counter,
50 "title": toolbox_lang.f_r,
H A DToolboxCounter.js92 out += '<dd>' + toolbox_lang.chars.replace('%d', chars) + '</dd>';
93 out += '<dd>' + toolbox_lang.words.replace('%d', words) + '</dd>';
101 html(toolbox_lang.total, counts.call, counts.wall) +
102 html(toolbox_lang.section, counts.csec, counts.wsec) +
103 html(toolbox_lang.selection, counts.csel, counts.wsel) +
110 title: toolbox_lang.counter,
H A DToolboxTextTools.js21 alert(toolbox_lang.notext);
43 alert(toolbox_lang.notext);
H A Dscript.js3 var toolbox_lang = LANG.plugins.toolbox; variable