const GdkX11 = imports.gi.GdkX11; let x11DeviceManagerXI2 = new GdkX11.X11DeviceManagerXI2({ major: value, minor: value, opcode: value, });