gitk: Fix bug where page-up/down wouldn't always work properly

If the user pressed page up or page down and the new page wasn't
already drawn, we failed to select the line we wanted in the new
page.  This fixes it.

Signed-off-by: Paul Mackerras <paulus@samba.org>

diff --git a/gitk b/gitk
index d59debf2f5bb8907cd77fb63f70aa59d6e856602..286f5cd5fd11a40a3f1013b4320acd73120dc561 100755 (executable)
--- a/gitk
+++ b/gitk
@@ -3429,6 +3429,7 @@ proc selnextpage {dir} {
        set lpp 1
     }
     allcanvs yview scroll [expr {$dir * $lpp}] units
+    drawvisible
     if {![info exists selectedline]} return
     set l [expr {$selectedline + $dir * $lpp}]
     if {$l < 0} {