Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
feat: #2380: remember filelist scroll position on tag save #3005
Fixes usability issue #2380: the file list was always scrolled to top when saving tags in Ex Falso. Now it remembers the position.
I had to handle this with the draw signal, as any attempts to change the vadjustment during other signals were in vain - the scroll position was always reset.