()
| 4001 | method.event.minimize = function dom_event_minimize(e:Event):boolean { |
| 4002 | const node:HTMLElement = <HTMLElement>e.srcElement || <HTMLElement>e.target, |
| 4003 | growth = function dom_event_minimize_growth():boolean { |
| 4004 | let width:number = 17, |
| 4005 | height:number = 3, |
| 4006 | leftTarget:number = 0, |
| 4007 | topTarget:number = 0, |
| 4008 | widthTarget:number = 0, |
| 4009 | heightTarget:number = 0, |
| 4010 | incW:number = 0, |
| 4011 | incH:number = 0, |
| 4012 | incL:number = 0, |
| 4013 | incT:number = 0, |
| 4014 | saveSpace:number = (save === true) |
| 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); |
| 4049 | buttonMin.innerHTML = "\u035f"; |
| 4050 | parent.style.display = "block"; |
| 4051 | box.style.borderWidth = ".1em"; |
| 4052 | box.style.right = "auto"; |
| 4053 | body.style.display = "block"; |
| 4054 | heading.getElementsByTagName("button")[0].style.cursor = "move"; |
| 4055 | heading.style.borderLeftStyle = "none"; |
| 4056 | heading.style.borderTopStyle = "none"; |
| 4057 | heading.style.margin = "-0.1em 1.7em -3.2em -0.1em"; |
| 4058 | if (test.agent.indexOf("macintosh") > 0) { |
| 4059 | saveSpace = (save === true) |
| 4060 | ? 8 |
no test coverage detected