From: Matt Birkholz Date: Mon, 15 Apr 2013 05:34:35 +0000 (-0700) Subject: gtk-screen: Punt horizontal scrollbars on typein window. X-Git-Tag: mit-scheme-pucked-9.2.12~366^2~46 X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=59edb95afc78c27efa41f1ce79c909c91c51d5f3;p=mit-scheme.git gtk-screen: Punt horizontal scrollbars on typein window. Move vertical scrollbars to left side(s). --- diff --git a/src/gtk-screen/gtk-screen.scm b/src/gtk-screen/gtk-screen.scm index 6e7787e03..c96f54af2 100644 --- a/src/gtk-screen/gtk-screen.scm +++ b/src/gtk-screen/gtk-screen.scm @@ -855,16 +855,17 @@ USA. (set-text-widget-buffer-frame! text window) (set-text-widget-modeline! text modeline) (set-fix-layout-scroll-step! text x-step y-step) - (gtk-scrolled-window-set-policy scroller 'auto 'always) - (gtk-scrolled-window-set-placement scroller 'bottom-left) + (gtk-scrolled-window-set-placement scroller 'bottom-right) (if (not modeline) ;; No modeline: the window/text-widget should NOT expand. (begin + (gtk-scrolled-window-set-policy scroller 'never 'always) (gtk-widget-set-vexpand text #f) (gtk-container-add scroller text) (gtk-container-add vgrid scroller)) ;; With modeline: vgrid and scroller SHOULD expand. (begin + (gtk-scrolled-window-set-policy scroller 'auto 'always) (gtk-container-add scroller text) (gtk-container-add vgrid scroller) (gtk-container-add vgrid modeline)))