search

team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)
BSD 3-Clause "New" or "Revised" License
5 stars 3 forks source link

Marker tooltips are only shown in overview ruler #45

Closed jspam closed 12 years ago

jspam commented 12 years ago

The tooltips for markers (succeeded/failed statement, breakpoint, etc.) are only shown when hovering over the marker in the overview ruler at the right-hand side of the editor window.

They should also be shown when hovering over the marked statement or over the entry in the left ruler.