Open jpluimers opened 8 years ago
I think the ToString(...) function in variables.js already covers the below cases in ui.js so they can go:
ToString(...)
variables.js
ui.js
if (type.name.indexOf("Semaphore") != -1) { valueRepr = 'SemaphoreSlim [count: ' + variable.value + ']'; } else if (type.name.indexOf("Queue") != -1) { valueRepr = 'Queue [element count: ' + variable.value + ']'; }
I think you are right.
I will update the master branch to reflect your changes when I get to a computer with git.
I think the
ToString(...)
function invariables.js
already covers the below cases inui.js
so they can go: