##// END OF EJS Templates
Merge pull request #6651 from JIghtuse/strip_newline...
Thomas Kluyver -
r18275:bf791456 merge
parent child Browse files
Show More
@@ -215,7 +215,10 class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):
215 elif self._control.hasFocus():
215 elif self._control.hasFocus():
216 text = self._control.textCursor().selection().toPlainText()
216 text = self._control.textCursor().selection().toPlainText()
217 if text:
217 if text:
218 was_newline = text[-1] == '\n'
218 text = self._prompt_transformer.transform_cell(text)
219 text = self._prompt_transformer.transform_cell(text)
220 if not was_newline: # user doesn't need newline
221 text = text[:-1]
219 QtGui.QApplication.clipboard().setText(text)
222 QtGui.QApplication.clipboard().setText(text)
220 else:
223 else:
221 self.log.debug("frontend widget : unknown copy target")
224 self.log.debug("frontend widget : unknown copy target")
General Comments 0
You need to be logged in to leave comments. Login now