diff options
| author | David Aspinall | 2003-06-08 21:39:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-06-08 21:39:38 +0000 |
| commit | d9cd3030cc2b1c0f074f9fc5efd7d63fc4369710 (patch) | |
| tree | 58f8b7e84358e178b582fc0b03ebdebac84feaea /html | |
| parent | 2c6e3b95b7d9669885129c06112ef608e5cb616a (diff) | |
Extend proof-shell-identifier-under-mouse to allow regions, and also depend on buffer context.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions