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/instance-info.js | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 javascript/app/components/instance-info.js (limited to 'javascript/app/components/instance-info.js') diff --git a/javascript/app/components/instance-info.js b/javascript/app/components/instance-info.js deleted file mode 100644 index 339d415..0000000 --- a/javascript/app/components/instance-info.js +++ /dev/null @@ -1,21 +0,0 @@ -import Ember from 'ember'; -import {goToDefinition} from '../utils/go-to-definition'; - -export default Ember.Component.extend({ - store : Ember.inject.service('store'), - style : Ember.computed('nestedLevel',function() { - return new Ember.String.htmlSafe("margin-left :" + this.get('nestedLevel') * 10 + "px"); - }), - nextNestedLevel : Ember.computed('nestedLevel',function () { - return this.get('nestedLevel') + 1; - }), - actions : { - goToDefinition (event) { - goToDefinition(this.get('store'), - this.get('instance.location'), - event.which, - this.get('currentLineNumber')); - return false; - } - } -}); -- cgit v1.2.3