Method code for $has_text.lines()

[Turn on line numbering]
return listlen(.get_raw_text() || []);

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

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

the Cold Dark