()
| 4110 | return false; |
| 4111 | }, |
| 4112 | shrinkage = function dom_event_minimize_shrinkage():boolean { |
| 4113 | let width = body.clientWidth / 10, |
| 4114 | height = body.clientHeight / 10, |
| 4115 | incL = (((window.innerWidth / 10) - final - 17) - left) / step, |
| 4116 | incT = 0, |
| 4117 | incW = (width === 17) |
| 4118 | ? 0 |
| 4119 | : (width > 17) |
| 4120 | ? ((width - 17) / step) |
| 4121 | : ((17 - width) / step), |
| 4122 | incH = height / step, |
| 4123 | shrink = function dom_event_minimize_shrinkage_shrink():boolean { |
| 4124 | left = left + incL; |
| 4125 | top = top + incT; |
| 4126 | width = width - incW; |
| 4127 | height = height - incH; |
| 4128 | body.style.width = `${width}em`; |
| 4129 | heading.style.width = `${width}em`; |
| 4130 | body.style.height = `${height}em`; |
| 4131 | box.style.left = `${left}em`; |
| 4132 | box.style.top = `${top}em`; |
| 4133 | if (width - incW > 16.8) { |
| 4134 | setTimeout(dom_event_minimize_shrinkage_shrink, 1); |
| 4135 | } else { |
| 4136 | box.style.left = "auto"; |
| 4137 | box.style.top = "auto"; |
| 4138 | box.style.right = `${final}em`; |
| 4139 | data.settings.report[idval].max = false; |
| 4140 | body.style.display = "none"; |
| 4141 | heading.getElementsByTagName("button")[0].style.cursor = "pointer"; |
| 4142 | heading.style.margin = "-0.1em 0em -3.2em -0.1em"; |
| 4143 | box.style.zIndex = "2"; |
| 4144 | method |
| 4145 | .app |
| 4146 | .options(e); |
| 4147 | return false; |
| 4148 | } |
| 4149 | return true; |
| 4150 | }; |
| 4151 | parentNode = <HTMLElement>box.parentNode; |
| 4152 | incT = (((parentNode.offsetTop / 10) - top) / step); |
| 4153 | buttonMin.innerHTML = "\u2191"; |
| 4154 | if (textarea.length === 1) { |
| 4155 | textarea[0].style.display = "none"; |
| 4156 | } |
| 4157 | //if a maximized window is minimized |
| 4158 | if (buttonMax.innerHTML === "\u2191") { |
| 4159 | if (test.agent.indexOf("macintosh") > 0) { |
| 4160 | data.settings.report[idval].top = box.offsetTop; |
| 4161 | data.settings.report[idval].left = box.offsetLeft; |
| 4162 | data.settings.report[idval].height = body.clientHeight - 17; |
| 4163 | data.settings.report[idval].width = body.clientWidth - 17; |
| 4164 | } else { |
| 4165 | data.settings.report[idval].top = box.offsetTop; |
| 4166 | data.settings.report[idval].left = box.offsetLeft; |
| 4167 | data.settings.report[idval].height = body.clientHeight; |
| 4168 | data.settings.report[idval].width = body.clientWidth; |
| 4169 | } |
no test coverage detected