index

(#<widget> 'index index)
Returns the position corresponding to index in the form line.char where line is the line number and char is the character number. Index may have any of the forms described under indices.

© Author | Home | Sitemap