Use CSS and viewport height for editor height#2930

Merged

Kevinjil merged 1 commit intoDOMjudge:mainfrom Kevinjil:editor-height-css

Mar 1, 2025

+1-4

Commits on Mar 1, 2025

Use CSS and viewport height for editor height
Kevinjil
committed