Fix macOS tooltips persisting indefinitely

[Copilot]

On macOS, tooltips remain visible after the mouse leaves, cluttering the UI.

fixes #1299

Root Cause

The create_show method binds the tooltip window's <Leave> event to self.hide instead of self.destroy_hide. On macOS, tooltips use lazy creation and must be destroyed (not withdrawn) when dismissed:

# Line 529 in frontend_tkinter_show.py
# Before:
self.tooltip.bind("<Leave>", self.hide)  # withdraw() - window persists

# After:
self.tooltip.bind("<Leave>", self.destroy_hide)  # destroy() - window cleaned up

This aligns with the widget's own <Leave> binding (lines 466/469), which correctly calls destroy_hide.

Changes

• frontend_tkinter_show.py:529: Change tooltip <Leave> binding from hide to destroy_hide
• bdd_frontend_tkinter_show.py:791: Update test assertion to match

---

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

[Copilot]

Copilot wasn't able to review any files in this pull request.