-
Thomas Hartmann authored
Most users perceived this as a bug and found it annoying in practice. So this feature gets removed. Reviewed-by: Roberto Raggi
ff5eb006
Most users perceived this as a bug and found it annoying in practice. So this feature gets removed. Reviewed-by: Roberto Raggi