No, it's too expensive.should Refresh (F5) refresh a loaded Filelist (as in if the .efu had changed after initial load)
F5 should only do a quick refresh of the search and view.
Maybe Ctrl + F5 to reload.
I will consider a File -> Reopen File list option.
For now, you can reopen the same file list from File -> Recent File Lists -> Top file list.
Statistics: Posted by void — Thu Jul 11, 2024 2:27 am