diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 10:35:55 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 10:35:55 +0000 |
commit | 693c53bb867ead922124fe8c5621d947037327eb (patch) | |
tree | 06be129a9ef699e2f8f4f22ad47e8ad48e3e4719 /generic/proof-menu.el | |
parent | 17c414438339c4edc9fabc2a1f751ddbb1a685c6 (diff) |
Support mouse action on modeline indicator for scripting mode
Diffstat (limited to 'generic/proof-menu.el')
0 files changed, 0 insertions, 0 deletions