6.10.11.1.5.1. Headings

6.10.11.1.5.1. Headings

Start python section to interscript/frames/inputf.py[32]
   798: #line 1162 "input_frame.ipk"
   799:   def head(self, level, text, atext='', anchor=''):
   800:     level = int(level)
   801:     level = level + self.head_offset
   802:     self.last_head = level
   803:     if self.get_verbosity()>=3: print ('  '*(level-1))+'"'+text+'"'
   804:     self.pass_frame.toc.append((level,text))
   805:     weaver = self.get_weaver()
   806:     if self.tangler: self.code_foot()
   807:     self.tangler_set(None)
   808:     weaver.head(level,text,atext,anchor)
   809: 
   810:   # like heading, but to be used in code as well:
   811:   # doesn't switch to document mode, doesn't do
   812:   # code headings and footings
   813: 
   814:   def heading(self, level, text, atext='', anchor=''):
   815:     level = int(level)
   816:     level = level + self.head_offset
   817:     self.last_head = level
   818:     if self.get_verbosity()>=3: print ('  '*(level-1))+'"'+text+'"'
   819:     self.pass_frame.toc.append((level,text))
   820:     weaver = self.get_weaver()
   821:     weaver.head(level,text,atext,anchor)
   822: 
   823:   def push_head(self, amt=1):
   824:     self.head_offset = self.head_offset + amt
   825: 
   826:   def pop_head(self, amt=1):
   827:     self.push_head(-amt)
   828: 
   829:   def set_head(self, amt=None):
   830:     if amt != None:
   831:       self.head_offset = amt - 1
   832:     else:
   833:       self.head_offset = self.last_head - 1
   834: 
End python section to interscript/frames/inputf.py[32]