Summary: | Mouse motion events make the SourceWindow get real busy | ||
---|---|---|---|
Product: | frysk | Reporter: | Mike Cvet <mcvet> |
Component: | general | Assignee: | Mike Cvet <mcvet> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | scox |
Priority: | P2 | ||
Version: | unspecified | ||
Target Milestone: | --- | ||
Host: | Target: | ||
Build: | Last reconfirmed: | ||
Bug Depends on: | |||
Bug Blocks: | 1633 |
Description
Mike Cvet
2006-11-07 14:09:42 UTC
Log message: 2006-11-07 Mike Cvet <mcvet@redhat.com> * SourceWindow.java (finishSourceWin): Set the window title properly. * SourceView.java (mousedOverText): Make sure that the mouse is over a new tag in the source code before going off parsing trying to see if it is a variable. Fixes #3472. * SourceBuffer.java (getVariable): Added. |