Lines Matching refs:document

6     $realInputField = document.getElementById("code-" + problem_name);
10     $realInputField = document.getElementById("code-" + problem_name);
11     document.getElementById("code-file-" + problem_name).value = $realInputField.files[0].name;
29 …             document.getElementById("scoreboard-row-" + problem_name.toString()).innerHTML = data;
45                 document.getElementById("result-row-" + problem_name).innerHTML = data;
73     if (type === "output-only" && !document.getElementById("user-output-" + problem_name).value) {
74 …   document.getElementById("result-label-" + problem_name).innerHTML = LANG.plugins.judge['error'];
75 …document.getElementById("result-" + problem_name).innerHTML = LANG.plugins.judge['answer_not_speci…
76         document.getElementById("result-" + problem_name).className = "false";
79     if (type === "test-case" && !document.getElementById("code-file-" + problem_name).value) {
80 …   document.getElementById("result-label-" + problem_name).innerHTML = LANG.plugins.judge['error'];
81 …document.getElementById("result-" + problem_name).innerHTML = LANG.plugins.judge['file_not_specifi…
82         document.getElementById("result-" + problem_name).className = "false";
88             window["language"] = document.getElementById("language-" + problem_name).value;
108                 file_name: document.getElementById("code-" + problem_name).files[0].name
112 …   document.getElementById("result-label-" + problem_name).innerHTML = LANG.plugins.judge['error'];
113                     document.getElementById("result-" + problem_name).innerHTML = data;
114                     document.getElementById("result-" + problem_name).className = "false";
122     r.readAsText(document.getElementById("code-" + problem_name).files[0]);
159             user_output: document.getElementById("user-output-" + problem_name).value,
187 …document.getElementById("result-label-" + problem_name).innerHTML = LANG.plugins.judge['answer_sta…
188     document.getElementById("result-" + problem_name).innerHTML = $fa_name;
189     document.getElementById("result-" + problem_name).className = $name;
219     document.getElementById("result-row-" + problem_name).innerHTML += new_row;
236     r.readAsText(document.getElementById("code-" + problem_name).files[0]);