- other_border.top, other_border.right,
- other_border.bottom, other_border.left);
- other_border.top = border->top - other_border.top;
- other_border.right = border->right - other_border.right;
- other_border.bottom = border->bottom - other_border.bottom;
- other_border.left = border->left - other_border.left;
- render_frame_fill (cr, &other_box, &other_border, other_colors, dont_draw);
+ other_border[GTK_CSS_TOP],
+ other_border[GTK_CSS_RIGHT],
+ other_border[GTK_CSS_BOTTOM],
+ other_border[GTK_CSS_LEFT]);
+ render_frame_fill (cr, &other_box, other_border, other_colors, dont_draw);