src/LiveDevelopment/Agents/RemoteFunctions.js
function highlight(node, clear) {
        if (!_remoteHighlight) {
            _remoteHighlight = new Highlight("#cfc");
        }
        if (clear) {
            _remoteHighlight.clear();
        }
        _remoteHighlight.add(node, true);
    }
function highlight(node, clear) {
        if (!_remoteHighlight) {
            _remoteHighlight = new Highlight("#cfc");
        }
        if (clear) {
            _remoteHighlight.clear();
        }
        _remoteHighlight.add(node, true);
    }
function highlight ( node , clear ) { if ( ! _remoteHighlight ) { _remoteHighlight = new Highlight ( "#cfc" ) ; } if ( clear ) { _remoteHighlight . clear ( ) ; } _remoteHighlight . add ( node , true ) ; }
highlight a node
highlight a node