The implementation of focused_widget that I submitted yesterday was Windows-specific and did not compile on GTK. The following implementation is portable:


	focused_widget: EV_WIDGET
			-- The currently focused widget, if any.
		do
			Result := parent_app.focused_widget

			if not has_recursive (Result) then
				Result := Void
			end
		ensure
			focused: Result /= Void implies Result.has_focus
			in_this_window: Result /= Void implies has_recursive (Result)
		end