Fixes in dev tools

This commit is contained in:
JuanCarlos 2019-07-12 11:10:10 +02:00
parent a905663c66
commit 8c6e438859
No known key found for this signature in database
GPG Key ID: B1C4FB733616273A
2 changed files with 48 additions and 27 deletions

View File

@ -427,7 +427,7 @@ export class DevToolsController {
const leftOrigWidth = $('#wz-dev-left-column').width();
const rightOrigWidth = $('#wz-dev-right-column').width();
$(evtDocument).mousemove(function (e) {
const leftWidth = e.pageX - 85 + 14;
const leftWidth = e.pageX - 215 + 14;
let rightWidth = leftOrigWidth - leftWidth;
$('#wz-dev-left-column').css('width', leftWidth);
$('#wz-dev-right-column').css('width', rightOrigWidth + rightWidth);
@ -628,4 +628,18 @@ export class DevToolsController {
this.errorHandler.handle(error, 'Export JSON');
}
}
getPosition(element) {
var xPosition = 0;
var yPosition = 0;
while (element) {
xPosition +=
element.offsetLeft - element.scrollLeft + element.clientLeft;
yPosition += element.offsetTop - element.scrollTop + element.clientTop;
element = element.offsetParent;
}
return { x: xPosition, y: yPosition };
}
}

View File

@ -0,0 +1,7 @@
{
"name": "Wazuh App",
"app-version": "3.10.0",
"revision": "0516",
"installationDate": "2019-06-18T16:06:11.594Z",
"lastRestart": "2019-06-18T16:19:06.012Z"
}