After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 791712 - Destroy the search popup rather than hide
Destroy the search popup rather than hide
Status: RESOLVED OBSOLETE
Product: gnome-terminal
Classification: Core
Component: general
git master
Other Linux
: Normal enhancement
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2017-12-17 21:00 UTC by Egmont Koblinger
Modified: 2021-06-10 21:19 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Egmont Koblinger 2017-12-17 21:00:36 UTC 
Continuing from bug 771165:

Closing the Find dialog should call gtk_widget_destroy() rather than gtk_widget_hide().

This would avoid a badly looking transitioning in Unity7, perhaps other WMs too.

Would need to manually save and restore the contents of the input field/checkboxes though.
Comment 1 GNOME Infrastructure Team 2021-06-10 21:19:25 UTC 
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-terminal/-/issues/7787.