716 UI.PixmapCache.getIcon("editCut.png"), |
716 UI.PixmapCache.getIcon("editCut.png"), |
717 self.tr('Cut'), self.cut) |
717 self.tr('Cut'), self.cut) |
718 self.menuActs["Copy"] = self.menu.addAction( |
718 self.menuActs["Copy"] = self.menu.addAction( |
719 UI.PixmapCache.getIcon("editCopy.png"), |
719 UI.PixmapCache.getIcon("editCopy.png"), |
720 self.tr('Copy'), self.copy) |
720 self.tr('Copy'), self.copy) |
721 self.menu.addAction( |
721 self.menuActs["Paste"] = self.menu.addAction( |
722 UI.PixmapCache.getIcon("editPaste.png"), |
722 UI.PixmapCache.getIcon("editPaste.png"), |
723 self.tr('Paste'), self.paste) |
723 self.tr('Paste'), self.paste) |
724 if not self.miniMenu: |
724 if not self.miniMenu: |
|
725 self.menuActs["ExecuteSelection"] = self.menu.addAction( |
|
726 self.tr("Execute Selection In Console"), |
|
727 self.__executeSelection) |
725 self.menu.addSeparator() |
728 self.menu.addSeparator() |
726 self.menu.addAction( |
729 self.menu.addAction( |
727 UI.PixmapCache.getIcon("editIndent.png"), |
730 UI.PixmapCache.getIcon("editIndent.png"), |
728 self.tr('Indent'), self.indentLineOrSelection) |
731 self.tr('Indent'), self.indentLineOrSelection) |
729 self.menu.addAction( |
732 self.menu.addAction( |
745 self.menu.addAction( |
748 self.menu.addAction( |
746 self.tr('Select to brace'), self.selectToMatchingBrace) |
749 self.tr('Select to brace'), self.selectToMatchingBrace) |
747 self.menu.addAction(self.tr('Select all'), self.__selectAll) |
750 self.menu.addAction(self.tr('Select all'), self.__selectAll) |
748 self.menu.addAction( |
751 self.menu.addAction( |
749 self.tr('Deselect all'), self.__deselectAll) |
752 self.tr('Deselect all'), self.__deselectAll) |
750 self.menu.addSeparator() |
753 else: |
|
754 self.menuActs["ExecuteSelection"] = None |
|
755 self.menu.addSeparator() |
751 self.menuActs["SpellCheck"] = self.menu.addAction( |
756 self.menuActs["SpellCheck"] = self.menu.addAction( |
752 UI.PixmapCache.getIcon("spellchecking.png"), |
757 UI.PixmapCache.getIcon("spellchecking.png"), |
753 self.tr('Check spelling...'), self.checkSpelling) |
758 self.tr('Check spelling...'), self.checkSpelling) |
754 self.menuActs["SpellCheckSelection"] = self.menu.addAction( |
759 self.menuActs["SpellCheckSelection"] = self.menu.addAction( |
755 UI.PixmapCache.getIcon("spellchecking.png"), |
760 UI.PixmapCache.getIcon("spellchecking.png"), |
5137 not self.isModified() and bool(self.fileName)) |
5142 not self.isModified() and bool(self.fileName)) |
5138 self.menuActs["Save"].setEnabled(self.isModified()) |
5143 self.menuActs["Save"].setEnabled(self.isModified()) |
5139 self.menuActs["Undo"].setEnabled(self.isUndoAvailable()) |
5144 self.menuActs["Undo"].setEnabled(self.isUndoAvailable()) |
5140 self.menuActs["Redo"].setEnabled(self.isRedoAvailable()) |
5145 self.menuActs["Redo"].setEnabled(self.isRedoAvailable()) |
5141 self.menuActs["Revert"].setEnabled(self.isModified()) |
5146 self.menuActs["Revert"].setEnabled(self.isModified()) |
5142 if not self.miniMenu: |
5147 self.menuActs["Cut"].setEnabled(self.hasSelectedText()) |
5143 self.menuActs["Cut"].setEnabled(self.hasSelectedText()) |
5148 self.menuActs["Copy"].setEnabled(self.hasSelectedText()) |
5144 self.menuActs["Copy"].setEnabled(self.hasSelectedText()) |
5149 if self.menuActs["ExecuteSelection"] is not None: |
|
5150 self.menuActs["ExecuteSelection"].setEnabled( |
|
5151 self.hasSelectedText()) |
|
5152 self.menuActs["Paste"].setEnabled(self.canPaste()) |
5145 if not self.isResourcesFile: |
5153 if not self.isResourcesFile: |
5146 if self.fileName and self.isPyFile(): |
5154 if self.fileName and self.isPyFile(): |
5147 self.menuActs["Show"].setEnabled(True) |
5155 self.menuActs["Show"].setEnabled(True) |
5148 else: |
5156 else: |
5149 self.menuActs["Show"].setEnabled(False) |
5157 self.menuActs["Show"].setEnabled(False) |
7147 self.completer.setEnabled(True) |
7155 self.completer.setEnabled(True) |
7148 else: |
7156 else: |
7149 self.completer.setEnabled(False) |
7157 self.completer.setEnabled(False) |
7150 |
7158 |
7151 ####################################################################### |
7159 ####################################################################### |
7152 ## Autocompleting templates |
7160 ## Auto-completing templates |
7153 ####################################################################### |
7161 ####################################################################### |
7154 |
7162 |
7155 def editorCommand(self, cmd): |
7163 def editorCommand(self, cmd): |
7156 """ |
7164 """ |
7157 Public method to perform a simple editor command. |
7165 Public method to perform a simple editor command. |
7968 for key in self.__mouseClickHandlers: |
7976 for key in self.__mouseClickHandlers: |
7969 if self.__mouseClickHandlers[key][0] == name: |
7977 if self.__mouseClickHandlers[key][0] == name: |
7970 keys.append(key) |
7978 keys.append(key) |
7971 for key in keys: |
7979 for key in keys: |
7972 del self.__mouseClickHandlers[key] |
7980 del self.__mouseClickHandlers[key] |
|
7981 |
|
7982 def __executeSelection(self): |
|
7983 """ |
|
7984 Private slot to execute the selected text in the shell window. |
|
7985 """ |
|
7986 txt = self.selectedText() |
|
7987 e5App().getObject("Shell").executeLines(txt) |