Skip to content

NavMarkGutterRenderer: fix crash when deleting edit marks#1725

Merged
jeremypw merged 1 commit into
elementary:masterfrom
Dipanshusinghh:fix-edit-marks-crash
May 28, 2026
Merged

NavMarkGutterRenderer: fix crash when deleting edit marks#1725
jeremypw merged 1 commit into
elementary:masterfrom
Dipanshusinghh:fix-edit-marks-crash

Commits

Commits on May 28, 2026