lint fix
This commit is contained in:
parent
44a4faebc0
commit
33bce49ee8
1 changed files with 5 additions and 1 deletions
|
@ -183,7 +183,11 @@ function onBodyMousedown() {
|
||||||
}
|
}
|
||||||
|
|
||||||
function onDblClick() {
|
function onDblClick() {
|
||||||
if (minimized) {unMinimize();} else {maximize();}
|
if (minimized) {
|
||||||
|
unMinimize();
|
||||||
|
} else {
|
||||||
|
maximize();
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
function onHeaderMousedown(evt: MouseEvent) {
|
function onHeaderMousedown(evt: MouseEvent) {
|
||||||
|
|
Loading…
Reference in a new issue