When resizing the window, redraw the grow box as well as the scroll bar.

I wasn't noticing the bug on my system, since the Appearance Manager handles
the grow box itself when it's present.

[originally from svn r2299]
This commit is contained in:
Ben Harris 2002-12-09 23:26:52 +00:00
Родитель 05456758c4
Коммит d78a0aacc0
1 изменённых файлов: 2 добавлений и 1 удалений

Просмотреть файл

@ -1,4 +1,4 @@
/* $Id: macterm.c,v 1.21 2002/12/09 22:49:56 ben Exp $ */ /* $Id: macterm.c,v 1.22 2002/12/09 23:26:52 ben Exp $ */
/* /*
* Copyright (c) 1999 Simon Tatham * Copyright (c) 1999 Simon Tatham
* Copyright (c) 1999, 2002 Ben Harris * Copyright (c) 1999, 2002 Ben Harris
@ -219,6 +219,7 @@ static void mac_adjustsize(Session *s, int newrows, int newcols) {
MoveControl(s->scrollbar, winwidth - 15, -1); MoveControl(s->scrollbar, winwidth - 15, -1);
SizeControl(s->scrollbar, 16, winheight - 13); SizeControl(s->scrollbar, 16, winheight - 13);
ShowControl(s->scrollbar); ShowControl(s->scrollbar);
mac_drawgrowicon(s);
} }
static void mac_initpalette(Session *s) { static void mac_initpalette(Session *s) {