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(); } }