Info: Redesign Info plugin

* It's a ApplicationWindow now
* Does not block the main window anymore and multiple device windows can
  be opened now.
* Properties are updates, added and removed
* Can be copied to clipboard with property names
* Optionally copied as json if asked to include property name(s)

Author: infirit

blueman/main/Manager.py

@@ -121,6 +121,8 @@ def do_activate(self) -> None:
 
             # Connect to configure event to store new window position and size
             self.window.connect("configure-event", self._on_configure)
+            # Quit application if primary window is closed
+            self.window.connect("delete-event", self._on_delete)
 
         self.window.present_with_time(Gtk.get_current_event_time())
 
@@ -207,6 +209,10 @@ def _on_configure(self, _window: Gtk.ApplicationWindow, event: Gdk.EventConfigur
             self.Config["window-properties"] = [event.width, event.height, event.x, event.y]
         return False
 
+    def _on_delete(self, _window: Gtk.ApplicationWindow, _event: Gdk.Event) -> bool:
+        self.quit()
+        return False
+
     def register_settings_action(self, name: str) -> None:
         action = self.Config.create_action(name)
         self.add_action(action)