procyberian/emacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fixes for Emacs manual in frames.texi

Browse source 
* 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.
This commit is contained in:
Eli Zaretskii 2018-01-26 11:25:24 +02:00
parent 6cd4e8dcc5
commit f35ff0156e
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
doc/emacs/frames.texi
View file

@ -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 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 clicked. If that window was not the selected window, it becomes the
selected window. You can also activate a region by double-clicking selected window. You can also activate a region by double-clicking
mouse-1 (@pxref{Word and Line Mouse}). @kbd{mouse-1} (@pxref{Word and Line Mouse}).
@vindex x-mouse-click-focus-ignore-position @vindex x-mouse-click-focus-ignore-position
Normally, if the frame you clicked in was not the selected frame, it 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 @cindex scroll-bar face
The visual appearance of the scroll bars is controlled by the The visual appearance of the scroll bars is controlled by the
@code{scroll-bar} face. @code{scroll-bar} 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 @cindex vertical border
On graphical frames, vertical scroll bars implicitly serve to separate 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}. @code{window-divider-default-right-width}.
When vertical scroll bars are disabled, dividers can be also useful to 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 covered by the vertical border used to separate side-by-side windows
(@pxref{Scroll Bars}). (@pxref{Scroll Bars}).