/src/wrappers/gdk/library/gdk_event_configure.e
Specman e | 96 lines | 60 code | 22 blank | 14 comment | 2 complexity | bdf5857451fe71bc68c5015fdd2450b9 MD5 | raw file
1indexing 2 description: "." 3 copyright: "[ 4 Copyright (C) 2007 Paolo Redaelli, $original_copyright_holder 5 6 This library is free software; you can redistribute it and/or 7 modify it under the terms of the GNU Lesser General Public License 8 as published by the Free Software Foundation; either version 2.1 of 9 the License, or (at your option) any later version. 10 11 This library is distributed in the hope that it will be useful, but 12 WITHOUT ANY WARRANTY; without even the implied warranty of 13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14 Lesser General Public License for more details. 15 16 You should have received a copy of the GNU Lesser General Public 17 License along with this library; if not, write to the Free Software 18 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 19 02110-1301 USA 20 ]" 21 22class GDK_EVENT_CONFIGURE 23 -- Generated when a window size or position has changed. 24 25inherit GDK_EVENT 26 27creation from_external_pointer 28 29feature 30 x: INTEGER is 31 -- the new x coordinate of the window, relative to its 32 -- parent. 33 do 34 Result:=get_x(handle) 35 end 36 37 y: INTEGER is 38 -- the new y coordinate of the window, relative to its 39 -- parent. 40 do 41 Result:=get_y(handle) 42 end 43 44 width: INTEGER is 45 -- the new width of the window. 46 do 47 Result:=get_width(handle) 48 end 49 50 height: INTEGER is 51 -- the new height of the window. 52 do 53 Result:=get_height(handle) 54 end 55 56feature {} -- Structure getter/setter calls 57 get_type (a_ptr: POINTER): INTEGER is 58 -- GdkEventType type; 59 external "C struct GdkEventExpose get type use <gdk/gdk.h>" 60 end 61 62 63 get_window (a_ptr: POINTER): POINTER is 64 -- GdkWindow *window; 65 external "C struct GdkEventExpose get *window use <gdk/gdk.h>" 66 end 67 68 69 get_send_event (a_ptr: POINTER): INTEGER_8 is 70 -- gint8 send_event; 71 external "C struct GdkEventExpose get send_event use <gdk/gdk.h>" 72 end 73 74 get_x (a_ptr: POINTER): INTEGER is 75 -- gint x; 76 external "C struct GdkEventExpose get x use <gdk/gdk.h>" 77 end 78 79 80 get_y (a_ptr: POINTER): INTEGER is 81 -- gint y; 82 external "C struct GdkEventExpose get y use <gdk/gdk.h>" 83 end 84 85 get_width (a_ptr: POINTER): INTEGER is 86 -- gint width; 87 external "C struct GdkEventExpose get width use <gdk/gdk.h>" 88 end 89 90 get_height (a_ptr: POINTER): INTEGER is 91 -- gint height; 92 external "C struct GdkEventExpose get height use <gdk/gdk.h>" 93 end 94 95 96end -- class GDK_EVENT_CONFIGURE