Remember the scroll position when rebuilding the browser (as we do far

too often). Fixes #824430.

diff --git a/Mac/Tools/IDE/PackageManager.py b/Mac/Tools/IDE/PackageManager.py
index 2b27ac09937d9e79bcc4e53089b8e5e80e560d03..a4b9accf5af7b04ba657ed073d1ad9897d16c466 100755 (executable)
--- a/Mac/Tools/IDE/PackageManager.py
+++ b/Mac/Tools/IDE/PackageManager.py
@@ -366,6 +366,7 @@ class PackageBrowser(PimpInterface):
                self.w.description.enable(0)
                
        def updatestatus(self):
+               topcell = self.w.packagebrowser.gettopcell()
                sel = self.w.packagebrowser.getselection()
                data = self.getbrowserdata(self.w.hidden_button.get())
                self.w.packagebrowser.setitems(data)
@@ -396,6 +397,7 @@ class PackageBrowser(PimpInterface):
                        self.w.recursive_button.enable(1)
                        self.w.force_button.enable(1)
                        self.w.user_button.enable(1)
+               self.w.packagebrowser.settopcell(topcell)
                
        def listhit(self, *args, **kwargs):
                self.updatestatus()