macosx: do not break prefs animation in case of double clicks on toolbar (close ...

diff --git a/modules/gui/macosx/simple_prefs.m b/modules/gui/macosx/simple_prefs.m
index 00a88b5d9078346896dcea381d2b0486fd810d1d..3ace12c1c15c4c0420571fd5cc56c9d3e8c924fb 100644 (file)
--- a/modules/gui/macosx/simple_prefs.m
+++ b/modules/gui/macosx/simple_prefs.m
@@ -1088,6 +1088,9 @@ static inline void save_string_list(intf_thread_t * p_intf, id object, const cha
     o_win_rect = [o_sprefs_win frame];
     o_view_rect = [o_new_category_view frame];
 
+    if (o_currentlyShownCategoryView == o_new_category_view)
+        return;
+
     if (o_currentlyShownCategoryView != nil) {
         /* restore our window's height, if we've shown another category previously */
         o_old_view_rect = [o_currentlyShownCategoryView frame];