Method code for $has_text.del_line()

[Turn off line numbering]

---

  1: arg linestr;
  2: var t;
  3: 
  4: // deletes "line" where line is the actual line to delete
  5: if (!.is_writable_by(sender()) && sender() != this())
  6:     throw(~perm, "Permission Denied.");
  7: t = .get_raw_text();
  8: t = t.setremove(linestr);
  9: .set_text(t);

---

// Created 27-Mar-1995 as a part of ColdCore, see: @help Credit