Lines Matching refs:head
231 head = text.index(first + " linestart")
234 head = text.index("insert linestart")
236 chars = text.get(head, tail)
238 return head, tail, chars, lines
240 def set_region(self, head, tail, chars, lines):
244 head: Starting index of text to replace.
247 between head and tail.
248 lines: List of new lines to insert between head
257 text.mark_set("insert", head)
259 text.delete(head, tail)
260 text.insert(head, newchars)
262 text.tag_add("sel", head, "insert")
266 head, tail, chars, lines = self.get_region()
273 self.set_region(head, tail, chars, lines)
278 head, tail, chars, lines = self.get_region()
285 self.set_region(head, tail, chars, lines)
293 head, tail, chars, lines = self.get_region()
297 self.set_region(head, tail, chars, lines)
306 head, tail, chars, lines = self.get_region()
316 self.set_region(head, tail, chars, lines)
321 head, tail, chars, lines = self.get_region()
331 self.set_region(head, tail, chars, lines)
336 head, tail, chars, lines = self.get_region()
342 self.set_region(head, tail, chars, lines)