diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2015-03-21 09:46:47 +0100 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2015-03-21 09:46:47 +0100 |
commit | ff785ad67f69650b978704b7d2043389e0067222 (patch) | |
tree | e53c3559756da40db8fc1351bb57135993775c8c /perl-install | |
parent | b79658e0019ed214bd3ca27705a373895c67e16b (diff) | |
download | drakx-ff785ad67f69650b978704b7d2043389e0067222.tar drakx-ff785ad67f69650b978704b7d2043389e0067222.tar.gz drakx-ff785ad67f69650b978704b7d2043389e0067222.tar.bz2 drakx-ff785ad67f69650b978704b7d2043389e0067222.tar.xz drakx-ff785ad67f69650b978704b7d2043389e0067222.zip |
better fix for the scrollbar in the package installation details window
patch by Martin Whitaker (mga#13894)
Diffstat (limited to 'perl-install')
-rw-r--r-- | perl-install/NEWS | 3 | ||||
-rw-r--r-- | perl-install/mygtk3.pm | 3 |
2 files changed, 5 insertions, 1 deletions
diff --git a/perl-install/NEWS b/perl-install/NEWS index f788e66df..209718200 100644 --- a/perl-install/NEWS +++ b/perl-install/NEWS @@ -1,3 +1,6 @@ +- better fix for the scrollbar in the package installation details + window (Martin Whitaker, mga#13894) + Version 16.69 - 20 March 2015 - efi partitioning fixes from tv diff --git a/perl-install/mygtk3.pm b/perl-install/mygtk3.pm index a4e2a25bf..19706e0cc 100644 --- a/perl-install/mygtk3.pm +++ b/perl-install/mygtk3.pm @@ -1478,7 +1478,8 @@ sub _allow_scroll_TextView_to_bottom { sub { my ($o_force) = @_; my $adjustment = $scrolledWindow->get_vadjustment; - if ($o_force || $adjustment->get_property("page_size") + $adjustment->get_value == $adjustment->get_property("upper")) { + my $margin = 40; # allow for lag due to animated scrolling + if ($o_force || $adjustment->get_page_size + $adjustment->get_value + $margin >= $adjustment->get_upper) { flush(); #- one must flush before scrolling to end, otherwise the text just added *may* not be taken into account correctly, and so it doesn't really scroll to end $textView->scroll_to_mark($textView->get_buffer->get_mark('end'), 0, 1, 0, 1); } |