[gnome-boxes/additional-cleanups: 2/4] ui: Delete old PropertiesPageWidget

[Felipe Borges <felipeborges src gnome org>]

commit fe636c3da9ac691c4b7a4628cbf69c225e8c4d82
Author: Felipe Borges <felipeborges gnome org>
Date:   Thu Dec 9 15:59:57 2021 +0100

    ui: Delete old PropertiesPageWidget
    
    Now replaced with the new Preferences dialog.

 data/gnome-boxes.gresource.xml    |  1 -
 data/ui/properties-page-widget.ui | 26 --------------------------
 src/rdp-display.vala              |  6 ------
 3 files changed, 33 deletions(-)
---
diff --git a/data/gnome-boxes.gresource.xml b/data/gnome-boxes.gresource.xml
index 598d8bed..60c4eb75 100644
--- a/data/gnome-boxes.gresource.xml
+++ b/data/gnome-boxes.gresource.xml
@@ -19,7 +19,6 @@
     <file preprocess="xml-stripblanks">ui/list-view.ui</file>
     <file preprocess="xml-stripblanks">ui/list-view-row.ui</file>
     <file preprocess="xml-stripblanks">ui/notification.ui</file>
-    <file preprocess="xml-stripblanks">ui/properties-page-widget.ui</file>
     <file preprocess="xml-stripblanks">ui/searchbar.ui</file>
     <file preprocess="xml-stripblanks">ui/selectionbar.ui</file>
     <file preprocess="xml-stripblanks">ui/selection-toolbar.ui</file>
diff --git a/src/rdp-display.vala b/src/rdp-display.vala
index 48b1762f..df907af6 100644
--- a/src/rdp-display.vala
+++ b/src/rdp-display.vala
@@ -81,12 +81,6 @@ public override void disconnect_it () {
             display.close ();
     }
 
-    public override List<Boxes.Property> get_properties (Boxes.PropertiesPage page) {
-        var list = new List<Boxes.Property> ();
-
-        return list;
-    }
-
     public override void send_keys (uint[] keyvals) {
     }
 }