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 6e7787e038fe3706f99f93733c16ae4281ea4189..c96f54af2321279a50b19fafba5ac5e5e6734bd5 100644 (file)
--- 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)))