[polari] app: Remove dead code

[Florian Müllner <fmuellner src gnome org>]

commit 8bdd9f41e8c64c051d77301c21624a64e655f75f
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri May 6 18:34:36 2016 +0200

    app: Remove dead code
    
    If we decide at any point that we need a preference dialog after all,
    this is trivial to add back.

 src/application.js |    5 -----
 1 files changed, 0 insertions(+), 5 deletions(-)
---
diff --git a/src/application.js b/src/application.js
index a2d7242..40cdd85 100644
--- a/src/application.js
+++ b/src/application.js
@@ -92,8 +92,6 @@ const Application = new Lang.Class({
           { name: 'edit-connection',
             activate: Lang.bind(this, this._onEditConnection),
             parameter_type: GLib.VariantType.new('o') },
-          { name: 'preferences',
-            activate: Lang.bind(this, this._onShowPreferences) },
           { name: 'about',
             activate: Lang.bind(this, this._onShowAbout) },
           { name: 'quit',
@@ -594,9 +592,6 @@ const Application = new Lang.Class({
         dialog.show();
     },
 
-    _onShowPreferences: function() {
-    },
-
     _onShowAbout: function() {
         if (this._aboutDialog) {
             this._aboutDialog.present();