Style color of folded line numbers

2026-02-15 00:55:14 -05:00 · 2013-01-30 11:48:58 -08:00
parent 4db876aed1
commit 8dbcefa932
6 changed files with 36 additions and 5 deletions
--- a/src/app/edit-session.coffee
+++ b/src/app/edit-session.coffee
@@ -307,6 +307,10 @@ class EditSession
    fold.destroy()
    @setCursorBufferPosition([fold.startRow, 0])

+  isFoldedAtBufferRow: (bufferRow) ->
+    screenRow = @screenPositionForBufferPosition([bufferRow]).row
+    @isFoldedAtScreenRow(screenRow)
+
  isFoldedAtScreenRow: (screenRow) ->
    @lineForScreenRow(screenRow)?.fold?