214 self.__defineTexStyle(font, colour, paper, f, 0) |
214 self.__defineTexStyle(font, colour, paper, f, 0) |
215 self.__defineTexStyle(font, colour, paper, f, |
215 self.__defineTexStyle(font, colour, paper, f, |
216 QsciScintilla.STYLE_DEFAULT) |
216 QsciScintilla.STYLE_DEFAULT) |
217 |
217 |
218 f.write("\\begin{document}\n\n") |
218 f.write("\\begin{document}\n\n") |
219 if titleFullPath: |
219 title = ( |
220 title = self.editor.getFileName() |
220 self.editor.getFileName() |
221 else: |
221 if titleFullPath else |
222 title = os.path.basename(self.editor.getFileName()) |
222 os.path.basename(self.editor.getFileName()) |
|
223 ) |
223 f.write( |
224 f.write( |
224 "Source File: {0}\n\n\\noindent\n\\tiny{{\n" |
225 "Source File: {0}\n\n\\noindent\n\\tiny{{\n" |
225 .format(title)) |
226 .format(title)) |
226 |
227 |
227 styleCurrent = self.editor.styleAt(0) |
228 styleCurrent = self.editor.styleAt(0) |