mirror of
https://github.com/syncthing/syncthing.git
synced 2026-05-01 11:43:26 -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