Fixes #790: superfluous padding in xml editor