/// <summary> /// Focuses the specified widget in this container. /// </summary> /// <remarks> /// Focuses the specified widge, taking the focus /// away from any previously focused widgets. This /// method only works if the widget specified /// supports being focused. /// </remarks> public void SetFocus(Widget w) { if (!w.CanFocus) return; if (focused == w) return; if (focused != null) focused.HasFocus = false; focused = w; focused.HasFocus = true; Container wc = w as Container; if (wc != null) wc.EnsureFocus (); focused.PositionCursor (); }