fix(files): reload the file tree while a run writes and on window focus (#1144) - #1153

fix(files): reload the file tree while a run writes and on window focus (#1144)#1153

agegr merged 1 commit into

mainagegr/pi-web:mainfrom

fix/file-tree-live-refreshagegr/pi-web:fix/file-tree-live-refreshCopy head branch name to clipboard