/src/wrappers/gtk/library/color_set_callback.e
Specman e | 71 lines | 54 code | 15 blank | 2 comment | 3 complexity | 8f0ba474f066d3abbd3ca73afdc9a5c5 MD5 | raw file
1indexing 2 description: "Callback for the color-set signal" 3 copyright: "[ 4 Copyright (C) 2006 Paolo redaelli, Anthony Lenton, eiffel-libraries team, GTK+ team and others 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 license: "LGPL v2 or later" 22 date: "$Date:$" 23 revision "$Revision:$" 24 25class COLOR_SET_CALLBACK 26 27inherit 28 CALLBACK 29 redefine 30 object 31 end 32 33insert G_OBJECT_FACTORY [GTK_COLOR_BUTTON] 34 35creation make 36 37feature 38 object: GTK_COLOR_BUTTON 39 40feature 41 42 callback (instance: POINTER) is 43 do 44 -- The following is written with the implicit requirement 45 -- that object actually has an Eiffel wrapper. 46 object := wrapper(instance) 47 procedure.call ([object]) 48 end 49 50 callback_pointer: POINTER is 51 do 52 Result := get_callback_pointer ($callback) 53 ensure 54 Result.is_not_null 55 end 56 57 connect (an_object: GTK_COLOR_BUTTON; a_procedure: like procedure) is 58 do 59 handler_id := g_signal_connect_closure (an_object.handle, 60 signal_name.to_external, 61 handle, 62 0 -- i.e. call it before default handler 63 ) 64 procedure := a_procedure 65 end 66 67 signal_name: STRING is "color-set" 68 69 procedure: PROCEDURE [ANY, TUPLE[GTK_COLOR_BUTTON]] 70 71end