| 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.