file list in widget does not autorefresh

[pbienst]

⚠️ This issue respects the following points: ⚠️

• This is a bug. Not a question or feature request.
• The issue is not already reported at Issues or discussions. (I've searched it).
• Markor is up to date. See Releases for the latest version. Updates are available from F-Droid and GitHub.

Description

When you add a file to a directory that is displayed in Markor's widget (e.g. by Syncthing), the file list is not automatically updated. It only updates when you open Markor and navigate to that directory. It would be good if the widget would autoupdate, or if you could 'pull down from the top' to force a refresh.

Steps to reproduce

See above.

Information

Android version: 11
Device: Galaxy A40
App Version: 2.8.0

Source

Google Play

Format / File type

No

Additional info / Log

-

[harshad1]

I have a PR which addresses several widget related issues at the very moment. However, as far as I can tell, there is no way to implement pull-down to refresh. Instead, what I have added is updating all widgets whenever markor opens and setting the refresh time to the minimum possible (30 minutes). So you will be able to refresh the widget by tapping the title.

Also note that the google play version is kinda depreciated. You will have to get markor from F-Droid or here going forward.