Place the editor and options in a panel.
Place the editor and options in a panel.

This panel could easily be set as not draggable.

dkm/gcc-explorer,dkm/gcc-explorer,dkm/gcc-explorer,mattgodbolt/gcc-explorer,mattgodbolt/gcc-explorer,ibuclaw/gcc-explorer,ibuclaw/gcc-explorer,dkm/gcc-explorer,dkm/gcc-explorer,mattgodbolt/gcc-explorer,dkm/gcc-explorer,dkm/gcc-explorer,mattgodbolt/compiler-explorer,mattgodbolt/gcc-explorer,mattgodbolt/compiler-explorer,ibuclaw/gcc-explorer,mattgodbolt/compiler-explorer,mattgodbolt/compiler-explorer,mattgodbolt/compiler-explorer,dkm/gcc-explorer,mattgodbolt/compiler-explorer,dkm/gcc-explorer,ibuclaw/gcc-explorer,ibuclaw/gcc-explorer,mattgodbolt/compiler-explorer,mattgodbolt/gcc-explorer,mattgodbolt/compiler-explorer