537 <p> |
537 <p> |
538 Private method handling mouse release events for the replEdit widget. |
538 Private method handling mouse release events for the replEdit widget. |
539 </p> |
539 </p> |
540 <p> |
540 <p> |
541 Note: this is a hack because QTextEdit does not allow filtering of |
541 Note: this is a hack because QTextEdit does not allow filtering of |
542 QEvent.MouseButtonRelease. To make middle button paste work, we had |
542 QEvent.Type.MouseButtonRelease. To make middle button paste work, we |
543 to intercept the protected event method (some kind of reimplementing |
543 had to intercept the protected event method (some kind of |
544 it). |
544 reimplementing it). |
545 </p> |
545 </p> |
546 <dl> |
546 <dl> |
547 |
547 |
548 <dt><i>evt</i> (QMouseEvent)</dt> |
548 <dt><i>evt</i> (QMouseEvent)</dt> |
549 <dd> |
549 <dd> |