From ef1b927861f9a949aed20341144ffb5bfd42f038 Mon Sep 17 00:00:00 2001 From: Yuchen Pei Date: Mon, 19 Sep 2022 11:22:21 +1000 Subject: Removing the web client --- javascript/app/components/type-component.js | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 javascript/app/components/type-component.js (limited to 'javascript/app/components/type-component.js') diff --git a/javascript/app/components/type-component.js b/javascript/app/components/type-component.js deleted file mode 100644 index c19facc..0000000 --- a/javascript/app/components/type-component.js +++ /dev/null @@ -1,29 +0,0 @@ -import Ember from 'ember'; -import {goToDefinition} from '../utils/go-to-definition'; - -export default Ember.Component.extend({ - store : Ember.inject.service('store'), - tagName : 'span', - classNames: ["type-component"], - contextMenu() {//right mouse button click to show kind of a type constructor or type variable - if(this.get('identifiers') && this.get('internalId')) { - this.set('expanded',true); - } - return false; - }, - linkClass : Ember.computed('identifierInfo',function() { - return this.get('identifierInfo') ? "link" : ""; - }), - identifierInfo : Ember.computed('internalId',function() { - return this.get('internalId') ? this.get('identifiers')[this.get('internalId')] : null; - }), - actions : { - onmouseup (event) { - if(this.get('identifierInfo') && (event.which !== 3 )) { - const locationInfo = this.get('identifierInfo').locationInfo; - goToDefinition(this.get('store'),locationInfo,event.which,this.get('currentLineNumber')); - return false; - } - } - } -}); -- cgit v1.2.3