Changed: Code optimizations.

Changed: Switching to editing mode is no longer animated which helps when you have a lot of domains.

Fix: Some formatting issues on Windows.

Fix: Disabled rules that are edited now update the UI instantly.

Fix: Resolves issue where JS Blocker would not work on some websites.