9053 |
} |
} |
9054 |
|
|
9055 |
|
|
9056 |
/* Compute actual fringe widths */ |
/* Compute actual fringe widths for frame F. |
9057 |
|
|
9058 |
|
If REDRAW is 1, redraw F if the fringe settings was actually |
9059 |
|
modified and F is visible. |
9060 |
|
|
9061 |
|
Since the combined left and right fringe must occupy an integral |
9062 |
|
number of columns, we may need to add some pixels to each fringe. |
9063 |
|
Typically, we add an equal amount (+/- 1 pixel) to each fringe, |
9064 |
|
but a negative width value is taken literally (after negating it). |
9065 |
|
|
9066 |
|
We never make the fringes narrower than specified. It is planned |
9067 |
|
to make fringe bitmaps customizable and expandable, and at that |
9068 |
|
time, the user will typically specify the minimum number of pixels |
9069 |
|
needed for his bitmaps, so we shouldn't select anything less than |
9070 |
|
what is specified. |
9071 |
|
*/ |
9072 |
|
|
9073 |
void |
void |
9074 |
compute_fringe_widths (f, redraw) |
compute_fringe_widths (f, redraw) |