Method code for $has_text.del_text()

[Turn on line numbering]
// deletes all text
if (!.is_writable_by(sender()) && sender() != this())
    throw(~perm, "Permission Denied.");
text = [];

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

the Cold Dark