/src/wrappers/gdk/library/gdk_event_focus.e

http://github.com/tybor/Liberty · Specman e · 48 lines · 29 code · 12 blank · 7 comment · 2 complexity · 76cb96b8928bf59ad97fe69d6f799d7d MD5 · raw file

  1. indexing
  2. description: "Describes a change of keyboard focus."
  3. copyright: "[
  4. Copyright (C) 2007 eiffel-libraries team, GTK+ team
  5. This library is free software; you can redistribute it and/or
  6. modify it under the terms of the GNU Lesser General Public License
  7. as published by the Free Software Foundation; either version 2.1 of
  8. the License, or (at your option) any later version.
  9. This library is distributed in the hope that it will be useful, but
  10. WITHOUT ANY WARRANTY; without even the implied warranty of
  11. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  12. Lesser General Public License for more details.
  13. You should have received a copy of the GNU Lesser General Public
  14. License along with this library; if not, write to the Free Software
  15. Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  16. 02110-1301 USA
  17. ]"
  18. class GDK_EVENT_FOCUS
  19. inherit GDK_EVENT
  20. insert
  21. GDK_EVENT_FOCUS_EXTERNALS
  22. creation from_external_pointer
  23. feature -- access
  24. in: BOOLEAN is
  25. -- True if the window has gained the keyboard focus,
  26. -- False if it has lost the focus.
  27. do
  28. Result := gdk_event_focus_get_in (handle).to_boolean
  29. end
  30. -- feature -- size
  31. -- struct_size: INTEGER is
  32. -- external "C inline use <gdk/gdk.h>"
  33. -- alias "sizeof(GdkEventFocus)"
  34. -- end
  35. invariant is_event_focus
  36. end -- class GDK_EVENT_FOCUS