82 html += '''<title>{0}</title>\n'''.format( |
82 html += '''<title>{0}</title>\n'''.format( |
83 self.editor.getFileName()) |
83 self.editor.getFileName()) |
84 else: |
84 else: |
85 html += '''<title>{0}</title>\n'''.format( |
85 html += '''<title>{0}</title>\n'''.format( |
86 os.path.basename(self.editor.getFileName())) |
86 os.path.basename(self.editor.getFileName())) |
87 html += '''<meta name="Generator" content="eric5" />\n''' \ |
87 html += '''<meta name="Generator" content="eric6" />\n''' \ |
88 '''<meta http-equiv="Content-Type" ''' \ |
88 '''<meta http-equiv="Content-Type" ''' \ |
89 '''content="text/html; charset=utf-8" />\n''' |
89 '''content="text/html; charset=utf-8" />\n''' |
90 if folding: |
90 if folding: |
91 html += \ |
91 html += \ |
92 '''<script language="JavaScript" type="text/javascript">\n''' \ |
92 '''<script language="JavaScript" type="text/javascript">\n''' \ |