PageRenderTime 13ms CodeModel.GetById 10ms app.highlight 0ms RepoModel.GetById 2ms app.codeStats 0ms

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