Searched refs:curropt (Results 1 – 1 of 1) sorted by relevance
1686 set curropt "";1708 if {"$curropt" != "no$name" && "no$curropt" != "$name"} {1709 set curropt $name;1710 set helptext($curropt) "$line\n";1712 append helptext($curropt) "$line\n";1714 } elseif {$curropt != ""} {1715 append helptext($curropt) "$line\n";1765 set curropt "";1788 if {"$curropt" != "no$name" && "no$curropt" != "$name"} {1789 set curropt $name;[all …]