diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/w32term.c | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/src/w32term.c b/src/w32term.c index 90c82c6661b..eb055dab044 100644 --- a/src/w32term.c +++ b/src/w32term.c | |||
| @@ -3946,8 +3946,12 @@ x_draw_image_foreground (s) | |||
| 3946 | the image. I believe it's looking better if we do | 3946 | the image. I believe it's looking better if we do |
| 3947 | nothing here for mouse-face. */ | 3947 | nothing here for mouse-face. */ |
| 3948 | if (s->hl == DRAW_CURSOR) | 3948 | if (s->hl == DRAW_CURSOR) |
| 3949 | w32_draw_rectangle (s->hdc, s->gc, x, y, s->img->width - 1, | 3949 | { |
| 3950 | s->img->height - 1); | 3950 | 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 | } | ||
| 3951 | w32_set_clip_rectangle (s->hdc, NULL); | 3955 | w32_set_clip_rectangle (s->hdc, NULL); |
| 3952 | } | 3956 | } |
| 3953 | } | 3957 | } |
| @@ -4087,8 +4091,12 @@ w32_draw_image_foreground_1 (s, pixmap) | |||
| 4087 | the image. I believe it's looking better if we do | 4091 | the image. I believe it's looking better if we do |
| 4088 | nothing here for mouse-face. */ | 4092 | nothing here for mouse-face. */ |
| 4089 | if (s->hl == DRAW_CURSOR) | 4093 | if (s->hl == DRAW_CURSOR) |
| 4090 | w32_draw_rectangle (hdc, s->gc, x, y, s->img->width - 1, | 4094 | { |
| 4091 | s->img->height - 1); | 4095 | 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 | } | ||
| 4092 | } | 4100 | } |
| 4093 | } | 4101 | } |
| 4094 | else | 4102 | else |