Нужен только один workaround в пользовательском коде для
TextEdit - задать явно desired_size и margin.Первый можно просто занулить, для второго взять
ui.spacing().item_spacing например.За одно переставил зум на колесико мышки. Ограничение зума и скорость будет в
SnarlStyle