Sfoglia il codice sorgente

Fix padding in emptyLineFiller and lineWrappingIndentation extensions (#12736)

GitOrigin-RevId: 8b6a2ad0beb802d917f3e998c378792c6156836a
Alf Eaton 3 anni fa
parent
commit
f409b96f00

+ 1 - 2
services/web/frontend/js/features/source-editor/extensions/empty-line-filler.ts

@@ -68,8 +68,7 @@ export const emptyLineFiller = () => {
     ),
     EditorView.baseTheme({
       '.ol-cm-filler': {
-        display: 'inline',
-        padding: '2px',
+        padding: '0 2px',
       },
     }),
   ]

+ 1 - 1
services/web/frontend/js/features/source-editor/extensions/line-wrapping-indentation.ts

@@ -122,7 +122,7 @@ const lineIndentDecoration = (indent: number) =>
   Decoration.line({
     attributes: {
       // style: `text-indent: ${indent}ch hanging`, // "hanging" would be ideal, when browsers support it
-      style: `text-indent: -${indent}ch; padding-left: calc(${indent}ch + 4px)`, // add 4px to account for existing padding-left
+      style: `text-indent: -${indent}ch; padding-left: calc(${indent}ch + 6px)`, // add 6px to account for existing padding-left
     },
   })