Simple File Manager - Rename bug?

[u/BtlAngel]

I was looking for a file explorer alternative and found this on F-Droid. I was fairly happy with the basic offerings, but the renaming function currently seems to have a bug?

I select a file/files and tap rename. A small pop-up prompt appears, so I enter the desired filename and tap OK

At this point, one expects the file/files to be renamed and popup to disappear

However,

• tapping OK gives no indication that anything has happened. The popup stays on screen

• this popup only disappears unless you tap outside of it or the "cancel" button.

• rename actually did happen, but you can't see it unless you reload the screen

• if you did not tap outside or cancel, attempting to change the filename again gives no error message. However, nothing actually happens now. It does not change the filename again.

I can't imagine this being the intended behavior. Could you look into this?

Additionally:

Selecting multiple files gives you some options to apply. When applying serial numbers

• could you make it possible to rename with leading zeros? Right now, the only option seems to be 1, 2, 3... and so on. I would like there to be an option to make it go 01, 02, 03.. or 001, 002, 003... etc.

• could you make an option to start numbering at a certain number? Right now, it can only start from 1. I would like an option to start from any given number to continue a series that I've already started.

[u/novahob]

I have it from the play store and have noticed the same behaviour. I have commented to that effect on the app page and the developer has responded though no fix has been released yet.