code: func (t *TextView) GetHighlights() (regionIDs []string) {
  	for id := range t.highlights {
  		regionIDs = append(regionIDs, id)
  	}
  	return
  }
docs: // GetHighlights returns the IDs of all currently highlighted regions.