mark names

(#<widget> 'mark 'names)
Returns a list whose elements are the names of all the marks that are currently set.

© Author | Home | Sitemap