| commit | 9a79182316f6297018221873d1932889b427ac84 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue May 06 14:28:31 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue May 06 14:28:31 2003 +0000 |
| tree | bc03dba82120c0279c1c49b5f95a7af64c784b63 | |
| parent | c7c78ae531ef6fab5ad354e616ee73c4a52ac422 [diff] [blame] |
Fix for #731643: allow "lookup in documentation" to also work if the interactive window is frontmost.
diff --git a/Mac/Tools/IDE/PyEdit.py b/Mac/Tools/IDE/PyEdit.py index 6cac553..89f97ca 100644 --- a/Mac/Tools/IDE/PyEdit.py +++ b/Mac/Tools/IDE/PyEdit.py
@@ -168,6 +168,9 @@ def setselection(self, selstart, selend): self.editgroup.editor.setselection(selstart, selend) + + def getselectedtext(self): + return self.editgroup.editor.getselectedtext() def getfilename(self): if self.path: