[gnome-boxes] properties: Remove redundant constants

[Zeeshan Ali Khattak <zeeshanak src gnome org>]

commit 7c1b82d297e34fb25ea840a89929fcf4927c918a
Author: Zeeshan Ali (Khattak) <zeeshanak gnome org>
Date:   Thu Nov 27 15:06:25 2014 +0000

    properties: Remove redundant constants

 src/properties.vala |    4 +---
 1 files changed, 1 insertions(+), 3 deletions(-)
---
diff --git a/src/properties.vala b/src/properties.vala
index b20dc9b..f3bb2fb 100644
--- a/src/properties.vala
+++ b/src/properties.vala
@@ -11,8 +11,6 @@ private enum Boxes.PropertiesPage {
 }
 
 private class Boxes.Properties: Gtk.Notebook, Boxes.UI {
-    private const string[] page_titles = { N_("General"), N_("System"), N_("Devices"), N_("Snapshots") };
-
     public UIState previous_ui_state { get; protected set; }
     public UIState ui_state { get; protected set; }
 
@@ -130,7 +128,7 @@ private class Boxes.Properties: Gtk.Notebook, Boxes.UI {
 
         for (var i = 0; i < PropertiesPage.LAST; i++) {
             var page = new PageWidget (i, machine);
-            var label = new Gtk.Label (page_titles[i]);
+            var label = new Gtk.Label (page.name);
             insert_page (page, label, i);
             set_data<PageWidget> (@"boxes-property-$i", page);