The editing directory just defined two widgets. We might as well fold them into the main widgets library.
