fixing spinner causing displacement in the FileExplorer UI, fixes #1217