let copy (v: sourceview) args =
  v#file#buffer#copy_clipboard GMain.clipboard