/src/wrappers/gdk/library/gdk_event_focus.e
Specman e | 48 lines | 29 code | 12 blank | 7 comment | 2 complexity | 76cb96b8928bf59ad97fe69d6f799d7d MD5 | raw file
1indexing 2 description: "Describes a change of keyboard focus." 3 copyright: "[ 4 Copyright (C) 2007 eiffel-libraries team, GTK+ team 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_FOCUS 23 24inherit GDK_EVENT 25 26insert 27 GDK_EVENT_FOCUS_EXTERNALS 28 29creation from_external_pointer 30 31feature -- access 32 33 in: BOOLEAN is 34 -- True if the window has gained the keyboard focus, 35 -- False if it has lost the focus. 36 do 37 Result := gdk_event_focus_get_in (handle).to_boolean 38 end 39 40-- feature -- size 41-- struct_size: INTEGER is 42-- external "C inline use <gdk/gdk.h>" 43-- alias "sizeof(GdkEventFocus)" 44-- end 45 46invariant is_event_focus 47 48end -- class GDK_EVENT_FOCUS