emacs-diffs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Emacs-diffs] emacs-26 f35ff01: Fixes for Emacs manual in frames.texi


From: Eli Zaretskii
Subject: [Emacs-diffs] emacs-26 f35ff01: Fixes for Emacs manual in frames.texi
Date: Fri, 26 Jan 2018 04:26:20 -0500 (EST)

branch: emacs-26
commit f35ff0156e6db3ab675f3566a6ee8cb2285e4e37
Author: Eli Zaretskii <address@hidden>
Commit: Eli Zaretskii <address@hidden>

    Fixes for Emacs manual in frames.texi
    
    * doc/emacs/frames.texi (Scroll Bars, Mouse Commands)
    (Window Dividers): Minor clarifications and spelling/markup
    changes.  Suggested by Robert Pluim <address@hidden> in
    address@hidden
---
 doc/emacs/frames.texi | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/doc/emacs/frames.texi b/doc/emacs/frames.texi
index 06e9343..bd836b2 100644
--- a/doc/emacs/frames.texi
+++ b/doc/emacs/frames.texi
@@ -98,7 +98,7 @@ invoked by clicking with the left mouse button, 
@kbd{mouse-1}, in the
 text area of a window.  This moves point to the position where you
 clicked.  If that window was not the selected window, it becomes the
 selected window.  You can also activate a region by double-clicking
-mouse-1 (@pxref{Word and Line Mouse}).
address@hidden (@pxref{Word and Line Mouse}).
 
 @vindex x-mouse-click-focus-ignore-position
   Normally, if the frame you clicked in was not the selected frame, it
@@ -998,7 +998,9 @@ when the entire buffer is visible.
 
 @cindex scroll-bar face
   The visual appearance of the scroll bars is controlled by the
address@hidden face.
address@hidden face.  (Some toolkits, such as GTK and MS-Windows,
+ignore this face; the scroll-bar appearance there can only be
+customized system-wide, for GTK @pxref{GTK resources}).
 
 @cindex vertical border
   On graphical frames, vertical scroll bars implicitly serve to separate
@@ -1073,7 +1075,7 @@ customize the options 
@code{window-divider-default-bottom-width} and
 @code{window-divider-default-right-width}.
 
   When vertical scroll bars are disabled, dividers can be also useful to
-make the first pixel column of a window visible which would be otherwise
+make the first pixel column of a window visible, which would be otherwise
 covered by the vertical border used to separate side-by-side windows
 (@pxref{Scroll Bars}).
 



reply via email to

[Prev in Thread] Current Thread [Next in Thread]