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/application.js       | 21 -------------
 javascript/app/controllers/package.js           | 39 -------------------------
 javascript/app/controllers/package/index.js     | 14 ---------
 javascript/app/controllers/package/search.js    | 15 ----------
 javascript/app/controllers/package/show/file.js |  9 ------
 javascript/app/controllers/packages.js          | 30 -------------------
 javascript/app/controllers/search.js            | 28 ------------------
 7 files changed, 156 deletions(-)
 delete mode 100644 javascript/app/controllers/application.js
 delete mode 100644 javascript/app/controllers/package.js
 delete mode 100644 javascript/app/controllers/package/index.js
 delete mode 100644 javascript/app/controllers/package/search.js
 delete mode 100644 javascript/app/controllers/package/show/file.js
 delete mode 100644 javascript/app/controllers/packages.js
 delete mode 100644 javascript/app/controllers/search.js

(limited to 'javascript/app/controllers')

diff --git a/javascript/app/controllers/application.js b/javascript/app/controllers/application.js
deleted file mode 100644
index 2936011..0000000
--- a/javascript/app/controllers/application.js
+++ /dev/null
@@ -1,21 +0,0 @@
-import {updateColorThemeCss,themes} from '../utils/color-themes';
-import Ember from 'ember';
-
-export default Ember.Controller.extend({
-  settings : Ember.inject.service('settings'),
-  themes: Object.values(themes),
-  init() {
-    this._super(...arguments);
-    updateColorThemeCss(this.get('settings').get('colorTheme'));
-  },
-  currentTheme: Ember.computed('settings',function() {
-    return this.get('settings.colorTheme.id');
-  }),
-  actions : {
-    themeChanged (themeId) {
-      const theme = themes[themeId];
-      this.get('settings').set('colorTheme',theme);
-      updateColorThemeCss(theme);
-    }
-  }
-});
diff --git a/javascript/app/controllers/package.js b/javascript/app/controllers/package.js
deleted file mode 100644
index d986835..0000000
--- a/javascript/app/controllers/package.js
+++ /dev/null
@@ -1,39 +0,0 @@
-import Ember from 'ember';
-import {goToDefinition} from '../utils/go-to-definition';
-import {urls} from '../utils/api-urls';
-
-export default Ember.Controller.extend({
-  store : Ember.inject.service('store'),
-  currentFile : null,
-  loadItemsFunction : null,
-  query : null,
-  searchMode : "currentPackage",
-  createSearchUrlFunction : Ember.computed("searchMode","model",function() {
-    const packageId = this.get('model.id');
-    if(this.get('searchMode') === "currentPackage") {
-      return (query) => urls.identifierSearchUrl(packageId,query);
-    } else {
-      return (query) => urls.globalIdentifiersUrl(query);
-    }
-  }),
-  actions : {
-    searchIdentifier (query) {
-      if(query) {
-        this.set('currentFile',null);
-        document.title = this.get('model.id');
-        if(this.get('searchMode') === "currentPackage") {
-          this.transitionToRoute('package.search',query);
-        } else {
-          this.transitionToRoute('search',query);
-        }
-      }
-    },
-    showIdentifier (identifierInfo) {
-      goToDefinition(this.get('store'),
-                     identifierInfo.locationInfo,
-                     1,//left mouse button
-                     null);
-      return false;
-    }
-  }
-});
diff --git a/javascript/app/controllers/package/index.js b/javascript/app/controllers/package/index.js
deleted file mode 100644
index dabb196..0000000
--- a/javascript/app/controllers/package/index.js
+++ /dev/null
@@ -1,14 +0,0 @@
-import Ember from 'ember';
-export default Ember.Controller.extend({
-  modulesFiltered : Ember.computed('model','query',function () {
-    const query = this.get('query');
-    const modules = Object.keys(this.get('model.modules')).sort();
-    if(query) {
-      const regExp = new RegExp(query,"i");
-      return modules.filter((p) => p.search(regExp) != -1);
-    } else {
-      return modules;
-    }
-  })
-});
-
diff --git a/javascript/app/controllers/package/search.js b/javascript/app/controllers/package/search.js
deleted file mode 100644
index 159b79a..0000000
--- a/javascript/app/controllers/package/search.js
+++ /dev/null
@@ -1,15 +0,0 @@
-import Ember from 'ember';
-import {goToDefinition} from '../../utils/go-to-definition';
-
-export default Ember.Controller.extend({
-  store : Ember.inject.service('store'),
-  actions : {
-    goToDefinition (locationInfo,event) {
-      goToDefinition(this.get('store'),
-                     locationInfo,
-                     event.which,
-                     null);
-      return false;
-    }
-  }
-});
diff --git a/javascript/app/controllers/package/show/file.js b/javascript/app/controllers/package/show/file.js
deleted file mode 100644
index b046bc2..0000000
--- a/javascript/app/controllers/package/show/file.js
+++ /dev/null
@@ -1,9 +0,0 @@
-import Ember from 'ember';
-export default Ember.Controller.extend({
-  settings : Ember.inject.service('settings'),
-  actions : {
-    findReferences(packageId,externalId,occName,locationInfo) {
-      this.send('updateReferences',packageId,externalId,occName,locationInfo);
-    }
-  }
-});
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;
-    }
-  }
-});
diff --git a/javascript/app/controllers/search.js b/javascript/app/controllers/search.js
deleted file mode 100644
index 7ba7d92..0000000
--- a/javascript/app/controllers/search.js
+++ /dev/null
@@ -1,28 +0,0 @@
-import Ember from 'ember';
-import {goToDefinition} from '../utils/go-to-definition';
-
-export default Ember.Controller.extend({
-  store : Ember.inject.service('store'),
-  actions : {
-    goToDefinition (locationInfo,event) {
-      goToDefinition(this.get('store'),
-                     locationInfo,
-                     event.which,
-                     null);
-      return false;
-    },
-    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