aboutsummaryrefslogtreecommitdiff
path: root/javascript/app/controllers
diff options
context:
space:
mode:
Diffstat (limited to 'javascript/app/controllers')
-rw-r--r--javascript/app/controllers/application.js21
-rw-r--r--javascript/app/controllers/package.js39
-rw-r--r--javascript/app/controllers/package/index.js14
-rw-r--r--javascript/app/controllers/package/search.js15
-rw-r--r--javascript/app/controllers/package/show/file.js9
-rw-r--r--javascript/app/controllers/packages.js30
-rw-r--r--javascript/app/controllers/search.js28
7 files changed, 0 insertions, 156 deletions
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;
- }
- }
-});