Handle HIDE_EVENT by calling hidetip.
(self, event)
| 113 | return None |
| 114 | |
| 115 | def hide_event(self, event): |
| 116 | """Handle HIDE_EVENT by calling hidetip.""" |
| 117 | if not self.tipwindow: |
| 118 | # See the explanation in checkhide_event. |
| 119 | return None |
| 120 | self.hidetip() |
| 121 | return "break" |
| 122 | |
| 123 | def hidetip(self): |
| 124 | """Hide the call-tip.""" |