Commit 12164f8
Page up and down when changing keyboard focus
Changed files (1)
Diff
@@ -319,6 +319,23 @@ public class DescriptionDisplay : FontDisplay { if (!(0 <= focus_index < focus_ring.size)) { focus_index = 0; }+ + if (w.widget_y < 0) {+ scroll -= allocation.height;++ if (scroll < 0) {+ scroll = 0;+ } + } else if (w.widget_y > allocation.height - 30 * MainWindow.units) {+ scroll += allocation.height;+ + if (scroll + allocation.height >= content_height) {+ scroll = content_height - allocation.height;+ } + } ++ update_scrollbar ();+ GlyphCanvas.redraw (); } public override void button_release (int button, double x, double y) {