/src/wrappers/gtk/library/gtk_scrollbar.e
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