docs: function(key){
                              if ($scope.node.type() === 'object')
                                  delete $scope.json[key];
                              else if ($scope.node.type() === 'array')
                                  $scope.json.splice(key, 1);
                              $scope.refresh();
                          }