I would like the Execute SQL tab to reload SQL files that have been changed by another process. This reload process would only happen if no changes have been made to the SQL file in DB Browser since initial load or since the last save.

Setup:

• Open a SQL file in DB Browser Execute SQL tab
• Open same SQL file in another editor
• Make and save changes in other editor

Current behavior:

• SQL file in DB Browser still shows old contents
• To update SQL file contents in DB Browser, I must close the tab for that file, then reopen in a new tab ("Open SQL file" button)

Desired behavior:

• (Preferred) SQL file in DB Browser shows updated contents immediately
• (Alternative) DB Browser indicates that underlying file has been modified and gives option to refresh from disk