Rev 550 | Rev 554 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 550 | Rev 552 | ||
|---|---|---|---|
| Line 37... | Line 37... | ||
| 37 | self.printed = None |
37 | self.printed = None |
| 38 | self.title = 'HelenOS Configuration' |
38 | self.title = 'HelenOS Configuration' |
| 39 | 39 | ||
| 40 | def print_title(self): |
40 | def print_title(self): |
| 41 | if not self.printed: |
41 | if not self.printed: |
| 42 | sys.stdout.write("*** %s ***\n" % self.title) |
42 | sys.stdout.write("\n*** %s ***\n" % self.title) |
| 43 | self.printed = True |
43 | self.printed = True |
| 44 | 44 | ||
| 45 | def set_title(self, text): |
45 | def set_title(self, text): |
| 46 | self.title = text |
46 | self.title = text |
| 47 | self.printed = False |
47 | self.printed = False |
| Line 310... | Line 310... | ||
| 310 | # All other things print to output file |
310 | # All other things print to output file |
| 311 | outf.write(line) |
311 | outf.write(line) |
| 312 | if re.match(r'^#[^#]', line): |
312 | if re.match(r'^#[^#]', line): |
| 313 | # Last comment before question will be displayed to the user |
313 | # Last comment before question will be displayed to the user |
| 314 | comment = line[1:].strip() |
314 | comment = line[1:].strip() |
| 315 | elif line.startswith('##'): |
315 | elif line.startswith('## '): |
| 316 | # Set title of the dialog window |
316 | # Set title of the dialog window |
| 317 | dlg.set_title(line[2:].strip()) |
317 | dlg.set_title(line[2:].strip()) |
| 318 | 318 | ||
| 319 | outf.close() |
319 | outf.close() |
| 320 | f.close() |
320 | f.close() |