option "smooth_gui" works again

release 1.10.0
0 jobs