3946 |
the image. I believe it's looking better if we do |
the image. I believe it's looking better if we do |
3947 |
nothing here for mouse-face. */ |
nothing here for mouse-face. */ |
3948 |
if (s->hl == DRAW_CURSOR) |
if (s->hl == DRAW_CURSOR) |
3949 |
w32_draw_rectangle (s->hdc, s->gc, x, y, s->img->width - 1, |
{ |
3950 |
s->img->height - 1); |
int r = s->img->relief; |
3951 |
|
if (r < 0) r = -r; |
3952 |
|
w32_draw_rectangle (s->hdc, s->gc, x - r, y - r , |
3953 |
|
s->img->width + r*2 - 1, s->img->height + r*2 - 1); |
3954 |
|
} |
3955 |
w32_set_clip_rectangle (s->hdc, NULL); |
w32_set_clip_rectangle (s->hdc, NULL); |
3956 |
} |
} |
3957 |
} |
} |
4091 |
the image. I believe it's looking better if we do |
the image. I believe it's looking better if we do |
4092 |
nothing here for mouse-face. */ |
nothing here for mouse-face. */ |
4093 |
if (s->hl == DRAW_CURSOR) |
if (s->hl == DRAW_CURSOR) |
4094 |
w32_draw_rectangle (hdc, s->gc, x, y, s->img->width - 1, |
{ |
4095 |
s->img->height - 1); |
int r = s->img->relief; |
4096 |
|
if (r < 0) r = -r; |
4097 |
|
w32_draw_rectangle (s->hdc, s->gc, x - r, y - r , |
4098 |
|
s->img->width + r*2 - 1, s->img->height + r*2 - 1); |
4099 |
|
} |
4100 |
} |
} |
4101 |
} |
} |
4102 |
else |
else |