/src/wrappers/gtk/library/gtk_rc_style.e
Specman e | 60 lines | 45 code | 15 blank | 0 comment | 2 complexity | 45f1e10f46ae279715529ff1132a9a77 MD5 | raw file
1indexing 2 description: "Resource Files -- Routines for handling resource files" 3 copyright: "[ 4 Copyright (C) 2006 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 GTK_RC_STYLE 23 24inherit 25 G_OBJECT redefine copy end 26 27insert 28 GTK_RC_EXTERNALS 29 30creation from_external_pointer, make, copy 31 32feature -- size 33 34 struct_size: INTEGER is 35 external "C inline use <gtk/gtk.h>" 36 alias "sizeof(GtkRcStyle)" 37 end 38 39feature {} -- Creation 40 41 make is 42 do 43 from_external_pointer (gtk_rc_style_new) 44 end 45 46feature -- Operations 47 48 copy (other: like Current) is 49 do 50 from_external_pointer (gtk_rc_style_copy (other.handle)) 51 end 52 53 parse (a_filename: STRING) is 54 require 55 a_filename /= Void 56 do 57 gtk_rc_parse (a_filename.to_external) 58 end 59 60end -- class GTK_RC_STYLE