| 4015 | ? 9.45 |
| 4016 | : 6.45, |
| 4017 | grow = function dom_event_minimize_growth_grow():boolean { |
| 4018 | width = width + incW; |
| 4019 | height = height + incH; |
| 4020 | left = left + incL; |
| 4021 | top = top + incT; |
| 4022 | body.style.width = `${width}em`; |
| 4023 | body.style.height = `${height}em`; |
| 4024 | heading.style.width = `${width - saveSpace}em`; |
| 4025 | box.style.left = `${left}em`; |
| 4026 | box.style.top = `${top}em`; |
| 4027 | if (width + incW < widthTarget || height + incH < heightTarget) { |
| 4028 | setTimeout(dom_event_minimize_growth_grow, 1); |
| 4029 | } else { |
| 4030 | box.style.left = `${leftTarget}em`; |
| 4031 | box.style.top = `${topTarget}em`; |
| 4032 | body.style.width = `${widthTarget}em`; |
| 4033 | body.style.height = `${heightTarget}em`; |
| 4034 | heading.style.width = `${widthTarget - saveSpace}em`; |
| 4035 | method |
| 4036 | .app |
| 4037 | .options(e); |
| 4038 | if (textarea.length === 1) { |
| 4039 | textarea[0].style.display = "block"; |
| 4040 | textarea[0].style.height = `${(body.clientHeight - 140) / 12}em`; |
| 4041 | } |
| 4042 | return false; |
| 4043 | } |
| 4044 | return true; |
| 4045 | }; |
| 4046 | method |
| 4047 | .app |
| 4048 | .zTop(box); |