whole_func_string: function Click (e) {
        var target = UI.utils.getTarget(e)
        if (UI.utils.getTerm(target).termType !== 'Literal') return
        this.literalModification(target)
          // this prevents the generated inputbox to be clicked again
        e.preventDefault()
        e.stopPropagation()
      }
func_code_string: function Click (e) {
        var target = UI.utils.getTarget(e)
        if (UI.utils.getTerm(target).termType !== 'Literal') return
        this.literalModification(target)
          // this prevents the generated inputbox to be clicked again
        e.preventDefault()
        e.stopPropagation()
      }
func_documentation_string: Called when a selected cell is clicked again