mirror of
https://github.com/syncthing/syncthing.git
synced 2026-03-22 16:23:14 -04:00
Fix the folder restart behavior (ignore Label), improve the API for that (imho). Also removes the tab switch animation in the settings modal, because annoying. GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/4577