Closed Ananas120 closed 7 months ago
I hope this time the commits will be in the correct order !
I have replaced the theme= by theme: instead of using the "-" symbol as suggested, as some codemirror themes contain a "-" in theirname, which may raise issue when splitting
theme=
theme:
@Ananas120 can we close https://github.com/UCL-INGI/INGInious/pull/931 since the current PR is a rebase of the previous one ?
I'll close this PR to focus on #991.
I hope this time the commits will be in the correct order !
I have replaced the
theme=
bytheme:
instead of using the "-" symbol as suggested, as some codemirror themes contain a "-" in theirname, which may raise issue when splitting