public static ScrollView WithScroll(this TextArea widget, ScrollPolicy vertical = ScrollPolicy.Automatic, ScrollPolicy horizontal = ScrollPolicy.Never)
{
return new ScrollView (widget) {
VerticalScrollPolicy = vertical,
HorizontalScrollPolicy = horizontal,
};
}
public static ScrollView WithScroll(this TextArea widget, ScrollPolicy vertical = ScrollPolicy.Automatic, ScrollPolicy horizontal = ScrollPolicy.Never)
{
return(new ScrollView(widget)
{
VerticalScrollPolicy = vertical,
HorizontalScrollPolicy = horizontal,
MinHeight = widget.MinHeight,
MinWidth = widget.MinWidth
});
}
public static Gtk.PolicyType ConvertScrollPolicy(ScrollPolicy p)
{
switch (p) {
case ScrollPolicy.Always:
return Gtk.PolicyType.Always;
case ScrollPolicy.Automatic:
return Gtk.PolicyType.Automatic;
case ScrollPolicy.Never:
return Gtk.PolicyType.Never;
}
throw new InvalidOperationException ("Invalid policy value:" + p);
}
public static Gtk.PolicyType ConvertScrollPolicy(ScrollPolicy p)
{
switch (p)
{
case ScrollPolicy.Always:
return(Gtk.PolicyType.Always);
case ScrollPolicy.Automatic:
return(Gtk.PolicyType.Automatic);
case ScrollPolicy.Never:
return(Gtk.PolicyType.Never);
}
throw new InvalidOperationException("Invalid policy value:" + p);
}
// Scrollbar visibility
public static SWC.ScrollBarVisibility ToWpfScrollBarVisibility(this ScrollPolicy policy)
{
switch (policy)
{
case ScrollPolicy.Always:
return(SWC.ScrollBarVisibility.Visible);
case ScrollPolicy.Automatic:
return(SWC.ScrollBarVisibility.Auto);
case ScrollPolicy.Never:
return(SWC.ScrollBarVisibility.Hidden);
default:
throw new NotSupportedException();
}
}
private ScrollBarVisibility GetScrollVisibility(ScrollPolicy policy)
{
switch (policy)
{
case ScrollPolicy.Always:
return(ScrollBarVisibility.Visible);
case ScrollPolicy.Automatic:
return(ScrollBarVisibility.Auto);
case ScrollPolicy.Never:
return(ScrollBarVisibility.Disabled);
default:
throw new NotSupportedException();
}
}
private ScrollBarVisibility GetScrollVisibility(ScrollPolicy policy)
{
switch (policy) {
case ScrollPolicy.Always:
return ScrollBarVisibility.Visible;
case ScrollPolicy.Automatic:
return ScrollBarVisibility.Auto;
case ScrollPolicy.Never:
return ScrollBarVisibility.Hidden;
default:
throw new NotSupportedException();
}
}
