/src/wrappers/gdk/library/gdk_rgb_dither.e

http://github.com/tybor/Liberty · Specman e · 59 lines · 39 code · 13 blank · 7 comment · 2 complexity · d459d3f8f4f978e7b61b88ed63eb29ed MD5 · raw file

  1. indexing
  2. description: "Enum GdkRgbDither - Selects whether or not GdkRGB applies dithering to the image on display."
  3. copyright: "[
  4. Copyright (C) 2006 eiffel-libraries team, GTK+ team
  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. -- Selects whether or not GdkRGB applies dithering to the image on
  19. -- display. Since GdkRGB currently only handles images with 8 bits
  20. -- per component, dithering on 24 bit per pixel displays is a moot
  21. -- point.
  22. deferred class GDK_RGB_DITHER
  23. inherit ANY undefine is_equal, copy end
  24. feature -- enum
  25. is_valid_rgb_dither (a_dither :INTEGER): BOOLEAN is
  26. do
  27. Result:=((a_dither = gdk_rgb_dither_none) or else
  28. (a_dither = gdk_rgb_dither_normal) or else
  29. (a_dither = gdk_rgb_dither_max))
  30. end
  31. gdk_rgb_dither_none: INTEGER is
  32. -- Never use dithering.
  33. external "C macro use <gdk/gdk.h>"
  34. alias "GDK_RGB_DITHER_NONE"
  35. end
  36. gdk_rgb_dither_normal: INTEGER is
  37. -- Use dithering in 8 bits per pixel (and below) only.
  38. external "C macro use <gdk/gdk.h>"
  39. alias "GDK_RGB_DITHER_NORMAL"
  40. end
  41. gdk_rgb_dither_max: INTEGER is
  42. -- Use dithering in 16 bits per pixel and below.
  43. external "C macro use <gdk/gdk.h>"
  44. alias "GDK_RGB_DITHER_MAX"
  45. end
  46. end