/src/wrappers/gtk/library/shared_default_gtk_icon_theme.e

http://github.com/tybor/Liberty · Specman e · 41 lines · 29 code · 7 blank · 5 comment · 2 complexity · fecf21046527a06441973a3c604d9e97 MD5 · raw file

  1. indexing
  2. description: "."
  3. copyright: "[
  4. Copyright (C) 2007 Paolo Redaelli
  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. deferred class SHARED_DEFAULT_GTK_ICON_THEME
  19. feature
  20. default_gtk_icon_theme: GTK_ICON_THEME is
  21. -- The (unique) icon theme associated to the default screen.
  22. -- A unique GtkIconTheme associated with the default
  23. -- screen. This icon theme is associated with the screen and
  24. -- can be used as long as the screen is open.
  25. once
  26. create Result.from_external_pointer(gtk_icon_theme_get_default)
  27. ensure not_void: Result/=Void
  28. end
  29. feature {} -- External calls
  30. gtk_icon_theme_get_default: POINTER is
  31. -- GtkIconTheme* gtk_icon_theme_get_default (void);
  32. external "C use <gtk/gtk.h>"
  33. end
  34. end -- class SHARED_DEFAULT_GTK_ICON_THEME