|
|
@@ -1,12 +1,17 @@
|
|
|
import { Extension } from '@codemirror/state'
|
|
|
import { indentationMarkers as markers } from '@replit/codemirror-indentation-markers'
|
|
|
import { sourceOnly } from './visual/visual'
|
|
|
+import browser from './browser'
|
|
|
|
|
|
/**
|
|
|
* A third-party extension which adds markers to show the indentation level.
|
|
|
* Configured to omit markers in the first column and to keep the same style for markers in the active block.
|
|
|
*/
|
|
|
-export const indentationMarkers = (visual: boolean): Extension =>
|
|
|
- sourceOnly(visual, [
|
|
|
- markers({ hideFirstIndent: true, highlightActiveBlock: false }),
|
|
|
- ])
|
|
|
+export const indentationMarkers = (visual: boolean): Extension => {
|
|
|
+ // disable indentation markers in Safari due to flicker, ref to git issue: 18263
|
|
|
+ return browser.safari
|
|
|
+ ? []
|
|
|
+ : sourceOnly(visual, [
|
|
|
+ markers({ hideFirstIndent: true, highlightActiveBlock: false }),
|
|
|
+ ])
|
|
|
+}
|