default-right-margin-width
default-right-margin-width
is a variable defined in `
C source code
'. Its value is
0
This variable is obsolete since 23.2; use `
right-margin-width
' instead.
Documentation:
Default value of `right-margin-width' for buffers that don't override it. This is the same as (default-value 'right-margin-width).