aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEli Zaretskii2018-01-26 11:25:24 +0200
committerEli Zaretskii2018-01-26 11:25:24 +0200
commitf35ff0156e6db3ab675f3566a6ee8cb2285e4e37 (patch)
tree1b2ced18fb232fbac0a1cf3df47cc3df8ed30e17
parent6cd4e8dcc50b2072e4eccba111dbb188eb61ebb7 (diff)
downloademacs-f35ff0156e6db3ab675f3566a6ee8cb2285e4e37.tar.gz
emacs-f35ff0156e6db3ab675f3566a6ee8cb2285e4e37.zip
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 <rpluim@gmail.com> in emacs-manual-bugs@gnu.org.
-rw-r--r--doc/emacs/frames.texi8
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/emacs/frames.texi b/doc/emacs/frames.texi
index 06e93438ed2..bd836b2db65 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
98text area of a window. This moves point to the position where you 98text area of a window. This moves point to the position where you
99clicked. If that window was not the selected window, it becomes the 99clicked. If that window was not the selected window, it becomes the
100selected window. You can also activate a region by double-clicking 100selected window. You can also activate a region by double-clicking
101mouse-1 (@pxref{Word and Line Mouse}). 101@kbd{mouse-1} (@pxref{Word and Line Mouse}).
102 102
103@vindex x-mouse-click-focus-ignore-position 103@vindex x-mouse-click-focus-ignore-position
104 Normally, if the frame you clicked in was not the selected frame, it 104 Normally, if the frame you clicked in was not the selected frame, it
@@ -998,7 +998,9 @@ when the entire buffer is visible.
998 998
999@cindex scroll-bar face 999@cindex scroll-bar face
1000 The visual appearance of the scroll bars is controlled by the 1000 The visual appearance of the scroll bars is controlled by the
1001@code{scroll-bar} face. 1001@code{scroll-bar} face. (Some toolkits, such as GTK and MS-Windows,
1002ignore this face; the scroll-bar appearance there can only be
1003customized system-wide, for GTK @pxref{GTK resources}).
1002 1004
1003@cindex vertical border 1005@cindex vertical border
1004 On graphical frames, vertical scroll bars implicitly serve to separate 1006 On graphical frames, vertical scroll bars implicitly serve to separate
@@ -1073,7 +1075,7 @@ customize the options @code{window-divider-default-bottom-width} and
1073@code{window-divider-default-right-width}. 1075@code{window-divider-default-right-width}.
1074 1076
1075 When vertical scroll bars are disabled, dividers can be also useful to 1077 When vertical scroll bars are disabled, dividers can be also useful to
1076make the first pixel column of a window visible which would be otherwise 1078make the first pixel column of a window visible, which would be otherwise
1077covered by the vertical border used to separate side-by-side windows 1079covered by the vertical border used to separate side-by-side windows
1078(@pxref{Scroll Bars}). 1080(@pxref{Scroll Bars}).
1079 1081