diff options
Diffstat (limited to 'logo/src/xlogo/kernel/userspace/files/LogoFilesManager.java')
| -rw-r--r-- | logo/src/xlogo/kernel/userspace/files/LogoFilesManager.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/logo/src/xlogo/kernel/userspace/files/LogoFilesManager.java b/logo/src/xlogo/kernel/userspace/files/LogoFilesManager.java index 4fb05a3..ece7bdb 100644 --- a/logo/src/xlogo/kernel/userspace/files/LogoFilesManager.java +++ b/logo/src/xlogo/kernel/userspace/files/LogoFilesManager.java @@ -384,7 +384,11 @@ public class LogoFilesManager implements LogoFileContainer, FileErrorCollector {
return context.isFilesListEditAllowed();
}
-
+
+ public boolean hasTooManyEmptyFiles(){
+ return context.hasTooManyEmptyFiles();
+ }
+
/**
* the name of the file that was edited last in this context.
*/
|