Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Filebrowser: Fix file modification time not reloaded, closes #2196 #2385

Merged
merged 2 commits into from
Aug 18, 2024

Conversation

guanglinn
Copy link
Contributor

@guanglinn guanglinn commented Aug 5, 2024

This PR fixed the issue #2196.

@guanglinn
Copy link
Contributor Author

See

2024-08-05-fix-file-time-not-updated.mp4

@gsantner gsantner linked an issue Aug 18, 2024 that may be closed by this pull request
4 tasks
@gsantner gsantner changed the title Fix file modification time not updated Filebrowser: Fix file modification time not reloaded Aug 18, 2024
@gsantner gsantner changed the title Filebrowser: Fix file modification time not reloaded Filebrowser: Fix file modification time not reloaded, closes #2196 Aug 18, 2024
@gsantner gsantner merged commit 92b30e1 into gsantner:master Aug 18, 2024
1 check passed
@gsantner
Copy link
Owner

Thank you! Merged

@harshad1
Copy link
Collaborator

I actually had an alternate solution to this in my PR where I also refresh the folder if any of the modtimes have changed

See https://github.com/gsantner/markor/pull/2377/files#diff-b8854a3c43757eac61b3776209726c2d019c07ab3dc60b2d2c4bf3f79a935762R737

Please check if my branch also works for your case.

@guanglinn guanglinn deleted the file_modification_time branch August 22, 2024 23:53
elyahw pushed a commit to writing-tools/marelias-notepad that referenced this pull request Sep 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

FileBrowser: File Modification Time not updated until app restart
3 participants