QScintilla/Exporters/ExporterHTML.py

changeset 45
9a18f4dbb493
parent 25
5163e6f94ba5
child 429
dcc623c99907
child 792
a13346916170
equal deleted inserted replaced
44:fe5cd20cb0eb 45:9a18f4dbb493
71 for index in range(QsciScintilla.STYLE_MAX + 1): 71 for index in range(QsciScintilla.STYLE_MAX + 1):
72 styleIsUsed[index] = True 72 styleIsUsed[index] = True
73 styleIsUsed[QsciScintilla.STYLE_DEFAULT] = True 73 styleIsUsed[QsciScintilla.STYLE_DEFAULT] = True
74 74
75 try: 75 try:
76 f = open(filename, "w") 76 f = open(filename, "w", encoding = "utf-8")
77 77
78 f.write( 78 f.write(
79 '''<!DOCTYPE html PUBLIC "-//W3C//DTD''' 79 '''<!DOCTYPE html PUBLIC "-//W3C//DTD'''
80 ''' XHTML 1.0 Transitional//EN"\n''') 80 ''' XHTML 1.0 Transitional//EN"\n''')
81 f.write( 81 f.write(

eric ide

mercurial