diff options
author | Yuchen Pei <hi@ypei.me> | 2022-09-19 11:22:21 +1000 |
---|---|---|
committer | Yuchen Pei <hi@ypei.me> | 2022-09-19 11:22:21 +1000 |
commit | ef1b927861f9a949aed20341144ffb5bfd42f038 (patch) | |
tree | 48bd4688928546bedc6504aad76bf6e0327fcef9 /javascript/app/controllers/search.js | |
parent | 117850d8f659517cb818a857dc04c8f5157795c4 (diff) |
Removing the web client
Diffstat (limited to 'javascript/app/controllers/search.js')
-rw-r--r-- | javascript/app/controllers/search.js | 28 |
1 files changed, 0 insertions, 28 deletions
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; - } - } -}); |