equal
deleted
inserted
replaced
312 def OnLeave(self, event): |
312 def OnLeave(self, event): |
313 """ |
313 """ |
314 Function called when leaving Viewer |
314 Function called when leaving Viewer |
315 @param event: wx.MouseEvent |
315 @param event: wx.MouseEvent |
316 """ |
316 """ |
317 # Check that mouse position is inside Viewer and hide buttons |
317 # Hide buttons |
318 x, y = event.GetPosition() |
318 self.ShowButtons(False) |
319 width, height = self.GetSize() |
|
320 if not (0 < x < width - 1 and 0 < y < height - 1): |
|
321 self.ShowButtons(False) |
|
322 event.Skip() |
319 event.Skip() |
323 |
320 |
324 def OnCloseButton(self): |
321 def OnCloseButton(self): |
325 """ |
322 """ |
326 Function called when Close button is pressed |
323 Function called when Close button is pressed |