Append space to paragraph leader in ascii reports. (revert 15388)

svn: r15404
This commit is contained in:
Nick Hall 2010-05-13 17:12:18 +00:00
parent d2d983f10a
commit a1c96c8a93
2 changed files with 4 additions and 3 deletions

View File

@ -236,6 +236,7 @@ class AsciiDoc(BaseDoc,TextDoc):
# Then add leader and eat up the beginning of the first line pad. # Then add leader and eat up the beginning of the first line pad.
# Do not reformat if preformatted notes # Do not reformat if preformatted notes
if not self.__note_format: if not self.__note_format:
self.leader += ' '
start_at = regular_indent + min(len(self.leader)+first_indent,0) start_at = regular_indent + min(len(self.leader)+first_indent,0)
this_text = reformat_para(self.text,regular_indent,right,fmt, this_text = reformat_para(self.text,regular_indent,right,fmt,
right_pad) right_pad)

View File

@ -61,7 +61,7 @@ from gen.utils import get_birth_or_fallback, get_death_or_fallback
#------------------------------------------------------------------------ #------------------------------------------------------------------------
class PrintSimple(): class PrintSimple():
def number(self, level): def number(self, level):
return "%d. " % level return "%d." % level
#------------------------------------------------------------------------ #------------------------------------------------------------------------
@ -79,7 +79,7 @@ class PrintVilliers():
to_return = self.pama[level-1] to_return = self.pama[level-1]
if level > 1: if level > 1:
to_return += str(self.num[level-1]) to_return += str(self.num[level-1])
to_return += ". " to_return += "."
self.num[level] = 1 self.num[level] = 1
self.num[level-1] = self.num[level-1] + 1 self.num[level-1] = self.num[level-1] + 1
@ -106,7 +106,7 @@ class PrintMeurgey():
self.childnum.append(1) self.childnum.append(1)
to_return = ReportUtils.roman(level) + dash + \ to_return = ReportUtils.roman(level) + dash + \
str(self.childnum[level-1]) + ". " str(self.childnum[level-1]) + "."
if level > 1: if level > 1:
self.childnum[level-1] += 1 self.childnum[level-1] += 1