Improve window dividers code.
authorMartin Rudalics <rudalics@gmx.at>
Tue, 4 Feb 2014 07:36:58 +0000 (08:36 +0100)
committerMartin Rudalics <rudalics@gmx.at>
Tue, 4 Feb 2014 07:36:58 +0000 (08:36 +0100)
commit764ec9e5f0adaff96b52252eea71eb30ef7cefa1
tree1aaf762a76e795be19e9a2279db36b496b0d1e15
parent6da8227cfa5bc7f428346e78d028a83a385f908f
Improve window dividers code.

* faces.el (window-divider): New default value.  Rewrite
doc-string.
(window-divider-first-pixel, window-divider-last-pixel): New
faces.
* dispextern.h (face_id): Add WINDOW_DIVIDER_FIRST_PIXEL_FACE_ID
and WINDOW_DIVIDER_LAST_PIXEL_FACE_ID.
* w32term.c (w32_draw_window_divider): Handle first and last
pixels specially.
* w32term.h (w32_fill_area_abs): New function.
* xdisp.c (x_draw_right_divider): Don't draw over bottom
divider.
* xfaces.c (realize_basic_faces): Handle new face ids.
* xfns.c (Fx_create_frame): Call x_default_parameter for right
and bottom divider width.
* xterm.c (x_draw_window_divider): Handle first and last pixels
specially.
etc/NEWS
lisp/ChangeLog
lisp/faces.el
src/ChangeLog
src/dispextern.h
src/w32term.c
src/w32term.h
src/xdisp.c
src/xfaces.c
src/xfns.c
src/xterm.c