84 self.editor.getFileName()) |
84 self.editor.getFileName()) |
85 else: |
85 else: |
86 html += '''<title>{0}</title>\n'''.format( |
86 html += '''<title>{0}</title>\n'''.format( |
87 os.path.basename(self.editor.getFileName())) |
87 os.path.basename(self.editor.getFileName())) |
88 html += ( |
88 html += ( |
89 '''<meta name="Generator" content="eric6" />\n''' |
89 '''<meta name="Generator" content="eric" />\n''' |
90 '''<meta http-equiv="Content-Type" ''' |
90 '''<meta http-equiv="Content-Type" ''' |
91 '''content="text/html; charset=utf-8" />\n''' |
91 '''content="text/html; charset=utf-8" />\n''' |
92 ) |
92 ) |
93 if folding: |
93 if folding: |
94 html += ( |
94 html += ( |
680 self.editor.getFileName()) |
680 self.editor.getFileName()) |
681 else: |
681 else: |
682 head += '''<title>{0}</title>\n'''.format( |
682 head += '''<title>{0}</title>\n'''.format( |
683 os.path.basename(self.editor.getFileName())) |
683 os.path.basename(self.editor.getFileName())) |
684 head += ( |
684 head += ( |
685 '''<meta name="Generator" content="eric6" />\n''' |
685 '''<meta name="Generator" content="eric" />\n''' |
686 '''<meta http-equiv="Content-Type" ''' |
686 '''<meta http-equiv="Content-Type" ''' |
687 '''content="text/html; charset=utf-8" />\n''' |
687 '''content="text/html; charset=utf-8" />\n''' |
688 '''{0}''' |
688 '''{0}''' |
689 '''{1}''' |
689 '''{1}''' |
690 '''<style type="text/css">''' |
690 '''<style type="text/css">''' |