964: #line 1331 "input_frame.ipk"
965: def head(self, level, text, atext='', anchor=''):
966: level = int(level)
967: level = level + self.head_offset
968: self.last_head = level
969: if self.get_verbosity()>=3: print (' '*(level-1))+'"'+text+'"'
970: self.pass_frame.toc.append((level,text))
971: weaver = self.get_weaver()
972: if self.current_tangler: self.code_foot()
973: self.tangler_set(None)
974: weaver.head(level,text,atext,anchor)
975:
976:
977:
978:
979:
980: def heading(self, level, text, atext='', anchor=''):
981: level = int(level)
982: level = level + self.head_offset
983: self.last_head = level
984: if self.get_verbosity()>=3: print (' '*(level-1))+'"'+text+'"'
985: self.pass_frame.toc.append((level,text))
986: weaver = self.get_weaver()
987: weaver.head(level,text,atext,anchor)
988:
989: def push_head(self, amt=1):
990: self.head_offset = self.head_offset + amt
991:
992: def pop_head(self, amt=1):
993: self.push_head(-amt)
994:
995: def set_head(self, amt=None):
996: if amt != None:
997: self.head_offset = amt - 1
998: else:
999: self.head_offset = self.last_head - 1
1000: