Work on adding a popup menu to TextBoxWidget (for goto symbol).