mirror of
https://github.com/syncthing/syncthing.git
synced 2026-01-22 12:48:20 -05: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