| commit | ca90cbf5f1158b79373dd0237cc1c84597e778fc | [log] [tgz] |
|---|---|---|
| author | Markus Keller <mkeller> | Thu Dec 04 14:39:09 2008 +0000 |
| committer | Markus Keller <mkeller> | Thu Dec 04 14:39:09 2008 +0000 |
| tree | 275d91aae72a96951734760b483919e6821903cd | |
| parent | 26ebfd9678d6f2e0197a87b60b855ce1492cb9a0 [diff] |
257532: [hovering][rulers] Ruler hovers should not appear when mouse is down