From ef1b927861f9a949aed20341144ffb5bfd42f038 Mon Sep 17 00:00:00 2001
From: Yuchen Pei <hi@ypei.me>
Date: Mon, 19 Sep 2022 11:22:21 +1000
Subject: Removing the web client

---
 javascript/app/controllers/packages.js | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 javascript/app/controllers/packages.js

(limited to 'javascript/app/controllers/packages.js')

diff --git a/javascript/app/controllers/packages.js b/javascript/app/controllers/packages.js
deleted file mode 100644
index 5c34eb2..0000000
--- a/javascript/app/controllers/packages.js
+++ /dev/null
@@ -1,30 +0,0 @@
-import Ember from 'ember';
-import {goToDefinition} from '../utils/go-to-definition';
-
-export default Ember.Controller.extend({
-  store : Ember.inject.service('store'),
-  queryObserver : Ember.observer("query",function() {
-    Ember.run.debounce(this, () => {
-      const regExp = new RegExp(this.get('query'),"i");
-      const packages = this.get('model').filter((p) => p.name.search(regExp) != -1);
-      Ember.run.next(() => {
-        this.set('packages',packages);
-      });
-    }, 300);
-  }),
-  actions: {
-    searchIdentifier (query) {
-      if(query) {
-        document.title = "Haskell code explorer";
-        this.transitionToRoute('search',query);
-      }
-    },
-    showIdentifier (identifierInfo) {
-      goToDefinition(this.get('store'),
-                     identifierInfo.locationInfo,
-                     1,//left mouse button
-                     null);
-      return false;
-    }
-  }
-});
-- 
cgit v1.2.3