From 896be4bf64c34b3752ca0a75e6296da2316b0f92 Mon Sep 17 00:00:00 2001
From: Pavel Machek <pavel@ucw.cz>
Date: Wed, 4 Jun 2025 20:06:35 +0200
Subject: [PATCH] fileman: Move next to the top, for easy browsing. Implement
 free space option.

---
 apps/fileman/fileman.app.js | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/apps/fileman/fileman.app.js b/apps/fileman/fileman.app.js
index 5baae298b..59612f23a 100644
--- a/apps/fileman/fileman.app.js
+++ b/apps/fileman/fileman.app.js
@@ -65,6 +65,11 @@ function visit_file(fn) {
   E.showMenu(menu);
 }
 
+function drawUtilMenu() {
+  var free = (require("Storage").getFree() / (1024*1024)).toFixed(2) + " MB\n";
+  E.showAlert(free).then( function() { drawMenu(); } );
+}
+
 function drawMenu() {
   nend = (nstart+n<files.length)?nstart+n : files.length;
   var menu = {
@@ -76,9 +81,6 @@ function drawMenu() {
     menu = {};
     drawMenu();
   }
-  for (var i=nstart; i<nend; ++i) {
-    menu[files[i]] = visit_file.bind(null, files[i]);
-  }
   menu["> next"] = function() {
     if (nstart+n<files.length) nstart += n;
     else nstart = 0;
@@ -86,6 +88,12 @@ function drawMenu() {
     drawMenu();
     m.move(-1);
   }
+  menu["..."] = function() {
+    drawUtilMenu();
+  }
+  for (var i=nstart; i<nend; ++i) {
+    menu[files[i]] = visit_file.bind(null, files[i]);
+  }
   m = E.showMenu(menu);
 }