42 def generate(self, tabSize=4, useTabs=False, wysiwyg=True, folding=False, |
42 def generate(self, tabSize=4, useTabs=False, wysiwyg=True, folding=False, |
43 onlyStylesUsed=False, titleFullPath=False): |
43 onlyStylesUsed=False, titleFullPath=False): |
44 """ |
44 """ |
45 Public method to generate HTML for the source editor. |
45 Public method to generate HTML for the source editor. |
46 |
46 |
47 @keyparam tabSize size of tabs (integer) |
47 @param tabSize size of tabs (integer) |
48 @keyparam useTabs flag indicating the use of tab characters (boolean) |
48 @param useTabs flag indicating the use of tab characters (boolean) |
49 @keyparam wysiwyg flag indicating colorization (boolean) |
49 @param wysiwyg flag indicating colorization (boolean) |
50 @keyparam folding flag indicating usage of fold markers |
50 @param folding flag indicating usage of fold markers |
51 @keyparam onlyStylesUsed flag indicating to include only style |
51 @param onlyStylesUsed flag indicating to include only style |
52 definitions for styles used in the source (boolean) |
52 definitions for styles used in the source (boolean) |
53 @keyparam titleFullPath flag indicating to include the full file path |
53 @param titleFullPath flag indicating to include the full file path |
54 in the title tag (boolean) |
54 in the title tag (boolean) |
55 @return generated HTML text (string) |
55 @return generated HTML text (string) |
56 """ |
56 """ |
57 self.editor.recolor(0, -1) |
57 self.editor.recolor(0, -1) |
58 |
58 |