From c5064d0c3deb17678239559201f48281a01a1e26 Mon Sep 17 00:00:00 2001 From: Lie Ryan Date: Wed, 3 Jan 2024 13:10:53 +1100 Subject: [PATCH] Renamed Resource.{is_folder() -> is_dir()} --- rope/base/resources.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/rope/base/resources.py b/rope/base/resources.py index cb975bde1..b284ba9f1 100644 --- a/rope/base/resources.py +++ b/rope/base/resources.py @@ -64,8 +64,11 @@ def remove(self): """Remove resource from the project""" self._perform_change(change.RemoveResource(self), "Removing <%s>" % self.path) + def is_dir(self): + """Alias for `is_folder()`""" + def is_folder(self): - """Return true if the resource is a folder""" + """Return True if the resource is a Folder""" def create(self): """Create this resource"""