Fix fullscreen mode in editor
It seems the fullscreen mode of the editor broke during the Mantine migration. There's a slight discrepancy in class names: in the CSS module it's named "fullscreen", in the JSX "fullScreen".
To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch
It seems the fullscreen mode of the editor broke during the Mantine migration. There's a slight discrepancy in class names: in the CSS module it's named "fullscreen", in the JSX "fullScreen".