GitHub #124: Update element size in text_changed callback
GitHub #31: Preserve no_export flag
GitHub #31: Add example patch with exported UI
GitHub #125: Clean up prompted entry a bit