Example #1
0
 ///<summary>
 /// Updates the "value" property to ensure that the range between lower and upper is
 /// in the current page (i.e. between "value" and "value" + "Page-size").
 /// If the range is larger than the page size, then only the start of it will
 /// be in the current page.
 ///</summary>
 ///<param name="lower">the lower value</param>
 ///<param name="upper">the upper value</param>
 ///<remarks>
 /// A "value-changed" signal will be emitted if the value is changed.
 ///</remarks>
 public void ClampPage(double lower, double upper)
 {
     GtkAdjustment.gtk_adjustment_clamp_page(Handle, lower, upper);
 }
Example #2
0
 ///<summary>
 /// Sets all properties of the adjustment at once.
 ///</summary>
 ///<param name="value">the new value</param>
 ///<param name="lower">the new minimum value</param>
 ///<param name="upper">the new maximum value</param>
 ///<param name="stepIncrement">the new step increment</param>
 ///<param name="pageIncrement">the page increment</param>
 ///<param name="pageSize">the new page size</param>
 ///<remarks>
 /// Use this function to avoid multiple emissions of the "changed" signal.
 ///</remarks>
 public void Configure(double value, double lower, double upper, double stepIncrement,
                       double pageIncrement, double pageSize)
 {
     GtkAdjustment.gtk_adjustment_configure(Handle, value, lower, upper,
                                            stepIncrement, pageIncrement, pageSize);
 }
Example #3
0
 /// <summary>
 /// Creates a new Adjustment object.
 /// </summary>
 /// <param name="value">The initial value</param>
 /// <param name="lower">The minimum value</param>
 /// <param name="upper">The maximum value</param>
 /// <param name="stepIncrement">The step increment</param>
 /// <param name="pageIncrement">The page increment</param>
 /// <param name="pageSize">The page size</param>
 public Adjustment(double value, double lower, double upper, double stepIncrement,
                   double pageIncrement, double pageSize)
 {
     _instance = GtkAdjustment.gtk_adjustment_new(value, lower,
                                                  upper, stepIncrement, pageIncrement, pageSize);
 }