Code Editor : pruner.js