mirrors/cpython
0
0
Fork 0
mirror of https://github.com/python/cpython.git synced 2024-12-15 12:54:31 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add optional section titles to format_all.

Browse Source 
Allow for missing section titles in format_all and format_index.
This commit is contained in:
Guido van Rossum 1997-05-26 06:28:40 +00:00
parent b1d8a259e3
commit 21c4b5f66a
1 changed files with 21 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
Tools/faqwiz/faqwiz.py
View File

@ -410,7 +410,7 @@ class FaqWizard:
emit(ONE_HIT, count=1)
else:
emit(FEW_HITS, count=len(hits))
self.format_all(hits)
self.format_all(hits, headers=0)
else:
emit(MANY_HITS, count=len(hits))
self.format_index(hits)
@ -441,9 +441,22 @@ class FaqWizard:
print time.strftime(LAST_CHANGED,
time.localtime(time.time()))
def format_all(self, files, edit=1):
def format_all(self, files, edit=1, headers=1):
sec = 0
for file in files:
self.dir.show(file, edit=edit)
try:
entry = self.dir.open(file)
except NoSuchFile:
continue
if headers and entry.sec != sec:
sec = entry.sec
try:
title = SECTION_TITLES[sec]
except KeyError:
title = "Untitled"
emit("\n<HR>\n<H1>%(sec)s. %(title)s</H1>\n",
sec=sec, title=title)
entry.show(edit=edit)
def do_index(self):
self.prologue(T_INDEX)
@ -462,7 +475,11 @@ class FaqWizard:
emit(INDEX_ADDSECTION, sec=sec)
emit(INDEX_ENDSECTION, sec=sec)
sec = entry.sec
emit(INDEX_SECTION, sec=sec, title=SECTION_TITLES[sec])
try:
title = SECTION_TITLES[sec]
except KeyError:
title = "Untitled"
emit(INDEX_SECTION, sec=sec, title=title)
emit(INDEX_ENTRY, entry)
if sec:
if add: