def new_pad():
user = flask.g.user
pad = user.get_current_pad()
if not pad.is_default():
pad = Pad.make(user)
user.set_current_pad(pad)
return redirect_to_pad(pad)
def copy_pad(pad_id):
user = flask.g.user
pad = user.get_current_pad()
pad_input = pad.get_input()
pad_output = pad.get_output()
pad = Pad.make(user, title=pad.get_title(), mode=pad.get_eval_mode(),
pad_input=pad.get_input(), pad_output=pad.get_output())
user.set_current_pad(pad)
flash('Saved an editable copy.')
return redirect_to_pad(pad)