| /kernel/trunk/tools/config.py |
|---|
| 39,7 → 39,7 |
| def print_title(self): |
| if not self.printed: |
| sys.stdout.write("*** %s ***\n" % self.title) |
| sys.stdout.write("\n*** %s ***\n" % self.title) |
| self.printed = True |
| def set_title(self, text): |
| 312,7 → 312,7 |
| if re.match(r'^#[^#]', line): |
| # Last comment before question will be displayed to the user |
| comment = line[1:].strip() |
| elif line.startswith('##'): |
| elif line.startswith('## '): |
| # Set title of the dialog window |
| dlg.set_title(line[2:].strip()) |