mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
setCustomEditorComponent() was not copying the paddingX setting from the default editor to extension-provided editors. Also propagate live changes from the settings callback.