Method code for $has_text.del_line()

[Turn on line numbering]

---

arg linestr;
var t;

// deletes "line" where line is the actual line to delete
if (!.is_writable_by(sender()) && sender() != this())
    throw(~perm, "Permission Denied.");
t = .get_raw_text();
t = t.setremove(linestr);
.set_text(t);

// $#Edited: 23 May 97 08:01 $user_bruce

---

["// Created 26-Mar-1995 as a part of ColdCore, see: @help Credit"]