[Turn on line numbering].set_setting("map-position", definer(), "none"); .set_setting("propagate", definer(), "none"); // $#Edited: 03 Aug 97 13:35 $miro // $#Edited: 05 Aug 97 08:36 $miro
["// Miroslav Silovic", "// Created 23-Jan-1997 as a part of ColdCore, see: @help Credit"]