Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Search live reload and sources tab #1821
As the controls for the search live reload are part of the search bar, they also appear in the sources tab, although they don't refresh the data in there. We should either remove (or disable) the live reload controls on the sources tab, or also refresh the sources data when live reload is active.