/src/wrappers/gtk/library/gtk_scrollbar.e

http://github.com/tybor/Liberty · Specman e · 124 lines · 68 code · 29 blank · 27 comment · 3 complexity · 9fee36731d941d7963b69e678169c841 MD5 · raw file

  1. indexing
  2. description: "GtkScrollbar: Base class for GtkHScrollbar and GtkVScrollbar."
  3. copyright: "[
  4. Copyright (C) 2006 Paolo Redaelli, 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. deferred class GTK_SCROLLBAR
  19. -- The GTK_SCROLLBAR widget is a deferred (abstract) base class for
  20. -- GTK_HSCROLLBAR and GTK_VSCROLLBAR.
  21. -- The position of the thumb in a scrollbar is controlled by the
  22. -- scroll adjustments. See GTK_ADJUSTMENT for the fields in an
  23. -- adjustment - for GtkScrollbar, the "value" field represents the
  24. -- position of the scrollbar, which must be between the "lower"
  25. -- field and "upper - page_size." The "page_size" field represents
  26. -- the size of the visible scrollable area. The "step_increment"
  27. -- and "page_increment" fields are used when the user asks to step
  28. -- down (using the small stepper arrows) or page down (using for
  29. -- example the PageDown key).
  30. inherit GTK_RANGE
  31. feature -- The "fixed-slider-length" style property
  32. is_slider_length_fixed: BOOLEAN is
  33. -- Don't change slider size, just lock it to the minimum
  34. -- length. Default value: False
  35. do
  36. Result := boolean_property_from_pspec (fixed_slider_lenght_pspec)
  37. end
  38. feature {} -- "fixed-slider-lenght" Implementation
  39. fixed_slider_lenght_property_property_name: STRING is "fixed-slider-length"
  40. fixed_slider_lenght_pspec: G_PARAM_SPEC is
  41. require has_property (fixed_slider_lenght_property_property_name)
  42. once
  43. create Result.from_external_pointer
  44. (g_object_class_find_property
  45. (g_object_get_class(handle),
  46. fixed_slider_lenght_property_property_name.to_external))
  47. end
  48. feature -- The "has-backward-stepper" style property
  49. has_backward_stepper: BOOLEAN is
  50. -- Is the standard backward arrow button displayed? Default
  51. -- value: True
  52. do
  53. Result := boolean_property_from_pspec (has_backward_stepper_pspec)
  54. end
  55. feature {} -- "has-backward-stepper" Implementation
  56. has_backward_stepper_property_property_name: STRING is "has-backward-stepper"
  57. has_backward_stepper_pspec: G_PARAM_SPEC is
  58. require has_property (has_backward_stepper_property_property_name)
  59. once
  60. create Result.from_external_pointer
  61. (g_object_class_find_property
  62. (g_object_get_class(handle),
  63. has_backward_stepper_property_property_name.to_external))
  64. end
  65. feature -- The "has-forward-stepper" style property
  66. has_forward_stepper: BOOLEAN is
  67. -- Is the standard forward arrow button displayed? Default
  68. -- value: True
  69. do
  70. Result := boolean_property_from_pspec (has_forward_stepper_pspec)
  71. end
  72. feature {} -- "has-forward-stepper" Implementation
  73. has_forward_stepper_property_property_name: STRING is "has-forward-stepper"
  74. has_forward_stepper_pspec: G_PARAM_SPEC is
  75. require has_property (has_forward_stepper_property_property_name)
  76. once
  77. create Result.from_external_pointer
  78. (g_object_class_find_property
  79. (g_object_get_class(handle),
  80. has_forward_stepper_property_property_name.to_external))
  81. end
  82. feature -- TODO: The "has-secondary-backward-stepper" style property
  83. -- "has-secondary-backward-stepper" gboolean : Read
  84. -- Display a second backward arrow button on the opposite end of the scrollbar.
  85. -- Default value: FALSE
  86. feature -- TODO: The "has-secondary-forward-stepper" style property
  87. -- "has-secondary-forward-stepper" gboolean : Read
  88. -- Display a secondary forward arrow button on the opposite end of the scrollbar.
  89. -- Default value: FALSE
  90. feature -- TODO: The "min-slider-length" style property
  91. -- "min-slider-length" gint : Read
  92. -- Minimum length of scrollbar slider.
  93. -- Allowed values: >= 0
  94. -- Default value: 21
  95. end -- class GTK_SCROLLBAR