/src/wrappers/gtk/library/switch_page_callback.e

http://github.com/tybor/Liberty · Specman e · 78 lines · 60 code · 14 blank · 4 comment · 3 complexity · 9a8f69a0697f3b97bbbcb8f48d4700fc MD5 · raw file

  1. indexing
  2. description: "Generic callback for the switch-page signal"
  3. copyright: "[
  4. Copyright (C) 2006 Paolo redaelli, eiffel-libraries team, GTK+ team and others
  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. license: "LGPL v2 or later"
  19. date: "$Date:$"
  20. revision "$Revision:$"
  21. class SWITCH_PAGE_CALLBACK
  22. inherit CALLBACK redefine object end
  23. insert G_OBJECT_FACTORY [GTK_NOTEBOOK]
  24. creation make
  25. feature
  26. object: GTK_NOTEBOOK
  27. feature
  28. callback (notebook_page: POINTER; arg1: INTEGER; instance: POINTER) is
  29. do
  30. debug
  31. print ("Callback: instance=") print (instance.to_string) print ("%N")
  32. end
  33. -- The following is written with the implicit requirement
  34. -- that the button is actually created bu the Eiffel
  35. -- application.
  36. object := wrapper(instance)
  37. -- XXX: we need GTK_NOTEBOOK_PAGE as first argument
  38. procedure.call ([Void, arg1, object])
  39. end
  40. callback_pointer: POINTER is
  41. do
  42. Result := get_callback_pointer ($callback)
  43. ensure
  44. Result.is_not_null
  45. end
  46. connect (an_object: GTK_NOTEBOOK; a_procedure: PROCEDURE [ANY, TUPLE[GTK_NOTEBOOK_PAGE, INTEGER, GTK_NOTEBOOK]]) is
  47. do
  48. debug
  49. print ("SWITCH_PAGE_CALLBACK.connect (an_object=") print (an_object.to_pointer.to_string)
  50. print (" an_object.handle=") print (an_object.handle.to_string)
  51. print (") Current=") print (to_pointer.to_string)
  52. print (" Current.handle=") print (handle.to_string)
  53. print ("%N")
  54. end
  55. handler_id := g_signal_connect_closure (an_object.handle,
  56. signal_name.to_external,
  57. handle,
  58. 0 -- i.e. call it before default handler
  59. )
  60. procedure:=a_procedure
  61. end
  62. signal_name: STRING is "switch-page"
  63. procedure: PROCEDURE [ANY, TUPLE[GTK_NOTEBOOK_PAGE, INTEGER, GTK_NOTEBOOK]]
  64. end