137 ) |
137 ) |
138 self.openInEditorAct = self.menu.addAction( |
138 self.openInEditorAct = self.menu.addAction( |
139 self.tr("Open in Editor"), self._openFileInEditor |
139 self.tr("Open in Editor"), self._openFileInEditor |
140 ) |
140 ) |
141 self.openInPdfViewerAct = self.menu.addAction( |
141 self.openInPdfViewerAct = self.menu.addAction( |
142 self.tr("Open in PDF Viewer"), self._openPdfViewer) |
142 self.tr("Open in PDF Viewer"), self._openPdfViewer |
|
143 ) |
143 self.menu.addSeparator() |
144 self.menu.addSeparator() |
144 self.mimeTypeAct = self.menu.addAction( |
145 self.mimeTypeAct = self.menu.addAction( |
145 self.tr("Show Mime-Type"), self.__showMimeType |
146 self.tr("Show Mime-Type"), self.__showMimeType |
146 ) |
147 ) |
147 self.menu.addSeparator() |
148 self.menu.addSeparator() |