(vulture) remove unused get_mark_regions
@@ -42,18 +42,6 @@ class RegionStore:
view.erase_regions(key)
self._set_views(view_id)
- def get_mark_regions(self, view):
- saved_keys = self._get_views(view.id())
- regions = [
- view.get_regions(key)
- for key in saved_keys
- if "gutter" not in key
- ]
- regions = [y for x in regions for y in x] # flatten
- points = [r.a for r in regions]
- points = sorted(list(set(points)))
- return points
-
def _get_views(self, view_id):
return self.memory.get("views").get(str(view_id), [])
