Widget focus

At any stage that the application takes input, a single widget within the application has the ``focus'' -- input to the application will go to this widget. The program can move the focus by specifying another widget to take the focus or by a user event (the user uses <Tab> or an arrow key to move to another widget, or selects a widget with a mouse).