avoid overlapping codemirror with widget
try to fix gutter initially not showing
try to fix gutter initially not showing
forgot to include php mode
forgot to include php mode