Show More
@@ -178,7 +178,7 class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin): | |||||
178 | def copy(self): |
|
178 | def copy(self): | |
179 | """ Copy the currently selected text to the clipboard, removing prompts. |
|
179 | """ Copy the currently selected text to the clipboard, removing prompts. | |
180 | """ |
|
180 | """ | |
181 | if self._page_control.hasFocus(): |
|
181 | if self._page_control is not None and self._page_control.hasFocus(): | |
182 | self._page_control.copy() |
|
182 | self._page_control.copy() | |
183 | elif self._control.hasFocus(): |
|
183 | elif self._control.hasFocus(): | |
184 | text = self._control.textCursor().selection().toPlainText() |
|
184 | text = self._control.textCursor().selection().toPlainText() |
General Comments 0
You need to be logged in to leave comments.
Login now