// opcode 27 - ungrab pointer
/**
* @param time possible: {@link Display#CURRENT_TIME}
* @see <a href="XUngrabPointer.html">XUngrabPointer</a>
*/
public void ungrab_pointer(int time)
{
Request request = new Request(display, 27, 2);
request.write4(time);
display.send_request(request);
}
// opcode 45 - open font
/**
* @see <a href="XLoadFont.html">XLoadFont</a>
*/
public Font(Display display, String name)
: base(display)
{
this.name = name;
Request request = new Request (display, 45, 3+Data.unit (name));
request.write4 (id);
request.write2 (name.Length);
request.write2_unused ();
request.write1 (name);
display.send_request (request);
}
// opcode 45 - open font
/**
* @see <a href="XLoadFont.html">XLoadFont</a>
*/
public Font(Display display, String name)
: base(display)
{
this.name = name;
Request request = new Request(display, 45, 3 + Data.unit(name));
request.write4(id);
request.write2(name.Length);
request.write2_unused();
request.write1(name);
display.send_request(request);
}
