X-Git-Url: http://git.chise.org/gitweb/?p=chise%2Fxemacs-chise.git.1;a=blobdiff_plain;f=src%2Fwinslots.h;h=53f7aeee7f9bb029c06fbc5400be6991c8da27d0;hp=b09aef3d39886bb9534e27c7dbe9bdc855132672;hb=566b3d194e2d5c783808ac39437bd7e1a28b1c5c;hpb=6883ee56ec887c2c48abe5b06b5e66aa74031910 diff --git a/src/winslots.h b/src/winslots.h index b09aef3..53f7aee 100644 --- a/src/winslots.h +++ b/src/winslots.h @@ -57,7 +57,7 @@ Boston, MA 02111-1307, USA. */ WINDOW_SLOT (vertical_divider_shadow_thickness, EQ); /* Divider surface width (not counting 3-d borders) */ WINDOW_SLOT (vertical_divider_line_width, EQ); - /* Spacing between outer egde of divider border and window edge */ + /* Spacing between outer edge of divider border and window edge */ WINDOW_SLOT (vertical_divider_spacing, EQ); /* Whether vertical dividers are always displayed */ WINDOW_SLOT (vertical_divider_always_visible_p, EQ); @@ -97,6 +97,33 @@ Boston, MA 02111-1307, USA. */ WINDOW_SLOT (default_toolbar_visible_p, EQ); WINDOW_SLOT (default_toolbar_border_width, EQ); #endif /* HAVE_TOOLBARS */ + + /* Gutter specification for each of the four positions. + This is not a size hog because the value here is not copied, + and will be shared with the specs in the specifier. */ + WINDOW_SLOT_ARRAY (gutter, 4, EQUAL_WRAPPED); + /* Real (pre-calculated) gutter specification for each of the four positions. + This is not a specifier, it is calculated by the specifier change + functions. */ + WINDOW_SLOT_ARRAY (real_gutter, 4, EQUAL_WRAPPED); + /* Gutter size for each of the four positions. */ + WINDOW_SLOT_ARRAY (gutter_size, 4, EQUAL_WRAPPED); + /* Real (pre-calculated) gutter size for each of the four positions. + This is not a specifier, it is calculated by the specifier change + functions. */ + WINDOW_SLOT_ARRAY (real_gutter_size, 4, EQUAL_WRAPPED); + /* Gutter border width for each of the four positions. */ + WINDOW_SLOT_ARRAY (gutter_border_width, 4, EQUAL_WRAPPED); + /* Gutter visibility status for each of the four positions. */ + WINDOW_SLOT_ARRAY (gutter_visible_p, 4, EQUAL_WRAPPED); + /* The following five don't really need to be cached except + that we need to know when they've changed. */ + WINDOW_SLOT (default_gutter, EQUAL_WRAPPED); + WINDOW_SLOT (default_gutter_width, EQ); + WINDOW_SLOT (default_gutter_height, EQ); + WINDOW_SLOT (default_gutter_visible_p, EQ); + WINDOW_SLOT (default_gutter_border_width, EQ); +/* margins */ WINDOW_SLOT (left_margin_width, EQ); WINDOW_SLOT (right_margin_width, EQ); WINDOW_SLOT (minimum_line_ascent, EQ);