equal
deleted
inserted
replaced
340 break; |
340 break; |
341 } |
341 } |
342 return new_val; |
342 return new_val; |
343 } |
343 } |
344 |
344 |
345 /* |
|
346 function change_hmi_value(index, opstr) { |
|
347 let old_val = cache[index]; |
|
348 let new_val = eval_operation_string(old_val, opstr); |
|
349 if(new_val != undefined && old_val != new_val) |
|
350 send_hmi_value(index, new_val); |
|
351 // TODO else raise |
|
352 return new_val; |
|
353 } |
|
354 */ |
|
355 |
|
356 var current_visible_page; |
345 var current_visible_page; |
357 var current_subscribed_page; |
346 var current_subscribed_page; |
358 var current_page_index; |
347 var current_page_index; |
359 |
348 |
360 function prepare_svg() { |
349 function prepare_svg() { |