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] |
Fix for #731643: allow "lookup in documentation" to also work if the interactive window is frontmost.