fix antd bug introduced by https://github.com/sagemathinc/cocalc/pull/4792
fix antd bug introduced by https://github.com/sagemathinc/cocalc/pull/4792

sagemathinc/smc,sagemathinc/smc,sagemathinc/smc,sagemathinc/smc