rename 'manage highlighting' to 'highlighters'

This commit is contained in:
2021-10-31 19:52:11 +01:00
parent 50965d9a0b
commit 2f1aabb379
2 changed files with 7 additions and 7 deletions

View File

@@ -154,20 +154,20 @@ class InnerBigText(QWidget):
def _open_menu(self, position):
menu = QMenu(self)
copy_clipboard = QAction(self.tr("Copy to Clipboard"), self, triggered=self.copy_selection)
copy_clipboard = QAction(self.tr("&Copy to Clipboard"), self, triggered=self.copy_selection)
copy_clipboard.setShortcut("CTRL+C")
copy_clipboard.setDisabled(not self._has_selection())
menu.addAction(copy_clipboard)
copy_to_file = QAction(self.tr("Copy to File"), self, triggered=self._copy_selection_to_file)
copy_to_file = QAction(self.tr("Copy to &File"), self, triggered=self._copy_selection_to_file)
copy_to_file.setDisabled(not self._has_selection())
menu.addAction(copy_to_file)
manage_highlighting = QAction(
self.tr("Highlighting"),
self.tr("&Highlighter"),
self,
triggered=lambda: HighlightingDialog(self.model.settings).exec())
manage_highlighting.setShortcut("CTRL+M")
manage_highlighting.setShortcut("CTRL+H")
menu.addAction(manage_highlighting)
menu.exec(self.mapToGlobal(position))