Remove redundant padding in textarea for raw editor
Description
Description
Details
Details
- Provenance
machniak Authored on Nov 27 2016, 10:18 AM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:c845343916ae: Shrink CodeMirror code
- Branches
- Unknown
- Tags