calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

Error doesn't show up when hovering below #60

Open calebegg opened 11 years ago

calebegg commented 11 years ago
| x |
|   |
|———|
| m |

m = mouse

When the mouse is here, and you click, the error in the part above gets instantly obscured by the arrow that shows what will admit when you click.