mirror of
https://github.com/syncthing/syncthing.git
synced 2026-04-02 05:34:57 -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