Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
NormanTUD committed Feb 21, 2024
1 parent 65cba4f commit 35b1d07
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions explain.js
Original file line number Diff line number Diff line change
Expand Up @@ -753,6 +753,9 @@ function layer_is_red (layer_nr) {
/* This function will write the given text to the layer identification of the given number. If the text is empty, it will clear the layer identification. */

function write_layer_identification (nr, text) {
assert(typeof(nr) == "number", "write_layer_identification: first parameter nr is not a number but " + typeof(nr) + " (" + nr + ")")
assert(typeof(text) == "string", "write_layer_identification: second parameter text is not a string but " + typeof(text) + " (" + text + ")")

if(text.length) {
$($(".layer_identifier")[nr]).html(text);
} else {
Expand Down

0 comments on commit 35b1d07

Please sign in to comment.