// 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); }