1025: #line 1381 "input_frame.ipk"
1026: def head(self, level, text, **kwds):
1027: level = int(level)
1028: level = level + self.head_offset
1029: self.last_head = level
1030: if 'headings' in self.process.trace:
1031: print (' '*(level-1))+'"'+text+'"'
1032: self.pass_frame.toc.append((level,text, kwds))
1033: if self.current_tangler: self.code_foot()
1034: self.tangler_set(None)
1035: apply(add_translation,(text,),kwds.get('translations',{}))
1036: apply(self.current_weaver.head,(level,text),kwds)
1037:
1038:
1039:
1040:
1041:
1042:
1043: def heading(self, level, text, **kwds):
1044: level = int(level)
1045: level = level + self.head_offset
1046: self.last_head = level
1047: if 'headings' in self.process.trace:
1048: print (' '*(level-1))+'"'+text+'"'
1049: self.pass_frame.toc.append((level,text, kwds))
1050: apply(self.current_weaver.head,(level,text),kwds)
1051:
1052: def push_head(self, amt=1):
1053: self.head_offset = self.head_offset + amt
1054:
1055: def pop_head(self, amt=1):
1056: self.push_head(-amt)
1057:
1058: def set_head(self, amt=None):
1059: if amt != None:
1060: self.head_offset = amt - 1
1061: else:
1062: self.head_offset = self.last_head - 1
1063: