Fixed Issue #12: Pasting doesn't update widget list