1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Copyright 2011-2013 Alexis Laferrière <alexis.laf@xymus.net>
4 # Copyright 2013 Nathan Heu <heu.nathan@courrier.uqam.ca>
6 # Licensed under the Apache License, Version 2.0 (the "License");
7 # you may not use this file except in compliance with the License.
8 # You may obtain a copy of the License at
10 # http://www.apache.org/licenses/LICENSE-2.0
12 # Unless required by applicable law or agreed to in writing, software
13 # distributed under the License is distributed on an "AS IS" BASIS,
14 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 # See the License for the specific language governing permissions and
16 # limitations under the License.
18 module gtk_widgets_ext
21 #Displays a calendar and allows the user to select a date
22 #@https://developer.gnome.org/gtk3/3.2/GtkCalendar.html
23 extern GtkCalendar `{GtkCalendar *`}
27 return (GtkCalendar *)gtk_calendar_new
();
30 fun month=( month : Int, year : Int ) is extern `{
31 gtk_calendar_select_month
( recv
, month
, year
);
34 fun day=( day : Int ) is extern `{
35 gtk_calendar_select_day
( recv
, day
);
38 fun mark_day( day : Int ) is extern `{
39 gtk_calendar_mark_day
( recv
, day
);
42 fun unmark_day( day : Int ) is extern `{
43 gtk_calendar_unmark_day
( recv
, day
);
46 fun is_marked( day : Int ): Bool is extern `{
47 return gtk_calendar_get_day_is_marked
( recv
, day
);
50 fun clear_marks is extern `{
51 gtk_calendar_clear_marks
( recv
);
54 fun display_options : GtkCalendarDisplayOptions is extern `{
55 return gtk_calendar_get_display_options
( recv
);
59 fun display_options=( options : GtkCalendarDisplayOptions) is extern `{
60 gtk_calendar_set_display_options
( recv
, options
);
64 fun date: String is abstract
67 #enum GtkCalendarDisplayOptions
68 #@https://developer.gnome.org/gtk3/3.2/GtkCalendar.html#GtkCalendarDisplayOptions
69 extern GtkCalendarDisplayOptions `{GtkCalendarDisplayOptions`}
70 new show_heading
`{ return GTK_CALENDAR_SHOW_HEADING; `}
71 new show_day_names `{ return GTK_CALENDAR_SHOW_DAY_NAMES; `}
72 new no_month_change
`{ return GTK_CALENDAR_NO_MONTH_CHANGE; `}
73 new show_week_numbers `{ return GTK_CALENDAR_SHOW_WEEK_NUMBERS; `}
74 new show_details
`{ return GTK_CALENDAR_SHOW_DETAILS; `}
78 #@https://developer.gnome.org/gtk3/stable/GtkSeparator.html
79 extern GtkSeparator `{GtkSeparator *`}
82 new ( orientation
: GtkOrientation ) is extern `{
83 return (GtkSeparator *)gtk_separator_new( orientation );
88 #A widget which indicates progress visually
89 #@https://developer.gnome.org/gtk3/3.2/GtkProgressBar.html
90 extern GtkProgressBar `{GtkProgressBar *`}
94 return (GtkProgressBar *)gtk_progress_bar_new
();
97 fun pulse is extern `{
98 gtk_progress_bar_pulse
( recv
);
101 fun pulse_step : Float is extern `{
102 return gtk_progress_bar_get_pulse_step
( recv
);
105 fun pulse_step=( step : Float ) is extern `{
106 gtk_progress_bar_set_pulse_step
( recv
, step
);
109 fun fraction : Float is extern `{
110 return gtk_progress_bar_get_fraction
( recv
);
113 fun fraction=( fraction : Float) is extern `{
114 gtk_progress_bar_set_fraction
( recv
, fraction
);
117 fun inverted : Bool is extern `{
118 return gtk_progress_bar_get_inverted
( recv
);
121 fun inverted=( is_inverted : Bool) is extern `{
122 gtk_progress_bar_set_inverted
( recv
, is_inverted
);
125 fun show_text : Bool is extern `{
126 return gtk_progress_bar_get_show_text
( recv
);
129 fun show_text=( show : Bool) is extern `{
130 gtk_progress_bar_set_show_text
( recv
, show
);
133 fun text : String is extern import String.to_cstring`{
134 return NativeString_to_s( (char
*)gtk_progress_bar_get_text
( recv
) );
137 fun text=( value : String) is extern import String.to_cstring`{
138 gtk_progress_bar_set_text
( recv
, String_to_cstring( value
) );
141 fun ellipsize is abstract
145 extern GtkColorSelectionDialog
147 new ( title : String, parent : GtkWindow ) is extern import String.to_cstring `{
148 return gtk_color_chooser_dialog_new
( String_to_cstring( title
), parent
);
151 #fun color_selection : is extern `{
152 # return gtk_color_selection_dialog_get_color_selection( GTK_COLOR_SELECTION_DIALOG( recv ) );
155 #fun color : Float is extern `{
156 # return gtk_color_selection_dialog_get_color_selection( GTK_COLOR_SELECTION_DIALOG( recv ) );
160 #Retrieve an integer or floating-point number from the user
161 #@https://developer.gnome.org/gtk3/3.2/GtkSpinButton.html
162 extern GtkSpinButton `{GtkSpinButton *`}
165 new ( adjustment : GtkAdjustment, climb_rate : Float, digits : Int )is extern `{
166 return (GtkSpinButton *)gtk_spin_button_new
( adjustment
, climb_rate
, digits
);
169 new with_range( min : Float, max : Float, step : Float )is extern `{
170 return (GtkSpinButton *)gtk_spin_button_new_with_range
( min
, max
, step
);
173 fun configure ( adjustment : GtkAdjustment, climb_rate : Float, digits : Int ) is extern `{
174 gtk_spin_button_configure
( recv
, adjustment
, climb_rate
, digits
);
177 fun adjustment : GtkAdjustment is extern `{
178 return gtk_spin_button_get_adjustment
( recv
);
181 fun adjustment=( value : GtkAdjustment ) is extern `{
182 gtk_spin_button_set_adjustment
( recv
, value
);
185 fun digits : Int is extern `{
186 return gtk_spin_button_get_digits
( recv
);
189 fun digits=( nb_digits : Int ) is extern `{
190 gtk_spin_button_set_digits
( recv
, nb_digits
);
193 fun value : Float is extern `{
194 return gtk_spin_button_get_value
( recv
);
197 fun val=( val : Float ) is extern `{
198 gtk_spin_button_set_value
( recv
, val
);
201 fun spin( direction : GtkSpinType, increment : Float ) is extern`{
202 gtk_spin_button_spin
( recv
, direction
, increment
);
207 #The values of the GtkSpinType enumeration are used to specify the change to make in gtk_spin_button_spin().
208 #@https://developer.gnome.org/gtk3/stable/GtkSpinButton.html#GtkSpinType
209 extern GtkSpinType `{GtkSpinType`}
210 #Increment by the adjustments step increment.
211 new step_forward
`{ return GTK_SPIN_STEP_FORWARD; `}
213 #Decrement by the adjustments step increment.
214 new step_backward `{ return GTK_SPIN_STEP_BACKWARD; `}
216 #Increment by the adjustments page increment.
217 new page_forward
`{ return GTK_SPIN_PAGE_FORWARD; `}
219 #Decrement by the adjustments page increment.
220 new page_backward `{ return GTK_SPIN_PAGE_BACKWARD; `}
222 #Go to the adjustments lower bound.
223 new lower_bound
`{ return GTK_SPIN_HOME; `}
225 #Go to the adjustments upper bound.
226 new upper_bound `{ return GTK_SPIN_END; `}
228 #Change by a specified amount.
229 new user_defined
`{ return GTK_SPIN_USER_DEFINED; `}
232 #A widget to unlock or lock privileged operations
233 #@https://developer.gnome.org/gtk3/stable/GtkLockButton.html
238 #A button to launch a color selection dialog
239 #@https://developer.gnome.org/gtk3/stable/GtkColorButton.html
240 extern GtkColorButton `{GtkColorButton *`}
244 return (GtkColorButton *)gtk_color_button_new( );
247 fun color
=( col
: GdkColor ) is extern `{
250 GdkColor *c = malloc(sizeof(GdkColor));
256 gtk_color_button_set_color( (GtkColorButton*)recv, c );*/