88 self.statusList.headerItem().setText(self.__lastColumn, "") |
87 self.statusList.headerItem().setText(self.__lastColumn, "") |
89 self.statusList.header().setSortIndicator( |
88 self.statusList.header().setSortIndicator( |
90 self.__pathColumn, Qt.AscendingOrder) |
89 self.__pathColumn, Qt.AscendingOrder) |
91 |
90 |
92 font = Preferences.getEditorOtherFonts("MonospacedFont") |
91 font = Preferences.getEditorOtherFonts("MonospacedFont") |
93 self.lDiffEdit.setFontFamily(font.family()) |
92 self.lDiffEdit.document().setDefaultFont(font) |
94 self.lDiffEdit.setFontPointSize(font.pointSize()) |
93 self.rDiffEdit.document().setDefaultFont(font) |
95 self.rDiffEdit.setFontFamily(font.family()) |
|
96 self.rDiffEdit.setFontPointSize(font.pointSize()) |
|
97 self.lDiffEdit.customContextMenuRequested.connect( |
94 self.lDiffEdit.customContextMenuRequested.connect( |
98 self.__showLDiffContextMenu) |
95 self.__showLDiffContextMenu) |
99 self.rDiffEdit.customContextMenuRequested.connect( |
96 self.rDiffEdit.customContextMenuRequested.connect( |
100 self.__showRDiffContextMenu) |
97 self.__showRDiffContextMenu) |
101 |
98 |