/src/wrappers/gtk/library/shared_default_gtk_icon_theme.e
Specman e | 41 lines | 29 code | 7 blank | 5 comment | 2 complexity | fecf21046527a06441973a3c604d9e97 MD5 | raw file
1indexing 2 description: "." 3 copyright: "[ 4 Copyright (C) 2007 Paolo Redaelli 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 22deferred class SHARED_DEFAULT_GTK_ICON_THEME 23 24feature 25 default_gtk_icon_theme: GTK_ICON_THEME is 26 -- The (unique) icon theme associated to the default screen. 27 -- A unique GtkIconTheme associated with the default 28 -- screen. This icon theme is associated with the screen and 29 -- can be used as long as the screen is open. 30 once 31 create Result.from_external_pointer(gtk_icon_theme_get_default) 32 ensure not_void: Result/=Void 33 end 34 35feature {} -- External calls 36 gtk_icon_theme_get_default: POINTER is 37 -- GtkIconTheme* gtk_icon_theme_get_default (void); 38 external "C use <gtk/gtk.h>" 39 end 40 41end -- class SHARED_DEFAULT_GTK_ICON_THEME