6.13.10.2.24.1. Headings

Start python section to interscript/frames/inputf.py[34 /40 ] Next Prev Last
   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:   # like heading, but to be used in code as well:
   977:   # doesn't switch to document mode, doesn't do
   978:   # code headings and footings
   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: 
End python section to interscript/frames/inputf.py[34]