made git diff rendering respect line wrap

2022-10-02 18:00:13 -07:00
parent 7f84abaf13
commit 5769cdc354
5 changed files with 185 additions and 95 deletions
@@ -60,12 +60,14 @@ export default function editor(theme: Theme) {
      indicator: iconColor(theme, "secondary"),
      verticalScale: 0.618
    },
-    diffBackgroundDeleted: theme.iconColor.error,
-    diffBackgroundInserted: theme.iconColor.ok,
-    diffBackgroundModified: theme.iconColor.warning,
-    removedDiffWidthMultiplier: 0.275,
-    diffIndicatorWidthMultiplier: 0.16,
-    diffIndicatorCornerRadius: 0.05,
+    diff: {
+      deleted: theme.iconColor.error,
+      inserted: theme.iconColor.ok,
+      modified: theme.iconColor.warning,
+      removedWidthEm: 0.275,
+      widthEm: 0.16,
+      cornerRadius: 0.05,
+    },
    documentHighlightReadBackground: theme.editor.highlight.occurrence,
    documentHighlightWriteBackground: theme.editor.highlight.activeOccurrence,
    errorColor: theme.textColor.error,