[gnome-boxes] properties: Update page names

[Zeeshan Ali Khattak <zeeshanak src gnome org>]

commit e008d2fa075af33e773d308bcff54c2120a9cd6c
Author: Zeeshan Ali (Khattak) <zeeshanak gnome org>
Date:   Sun Nov 23 15:53:51 2014 +0000

    properties: Update page names
    
    This should have been part of 91b4cc22 and 77538e5.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=733367

 src/properties.vala |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/properties.vala b/src/properties.vala
index 6cee400..a7d170d 100644
--- a/src/properties.vala
+++ b/src/properties.vala
@@ -11,7 +11,7 @@ private enum Boxes.PropertiesPage {
 }
 
 private class Boxes.Properties: Gtk.Stack, Boxes.UI {
-    private const string[] page_names = { "login", "system", "display", "devices", "snapshots" };
+    private const string[] page_names = { "general", "system", "devices", "snapshots" };
 
     public UIState previous_ui_state { get; protected set; }
     public UIState ui_state { get; protected set; }