From e2162f35bbd23ea7191f437d536176ee94c62186 Mon Sep 17 00:00:00 2001 From: Iuri Matias Date: Tue, 6 Feb 2018 14:48:34 -0500 Subject: [PATCH] remove unnecessary parameters from runSettings --- src/app/panels/righthand-panel.js | 2 +- src/app/tabs/settings-tab.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/app/panels/righthand-panel.js b/src/app/panels/righthand-panel.js index ded2ca6c82..88f022ffd3 100644 --- a/src/app/panels/righthand-panel.js +++ b/src/app/panels/righthand-panel.js @@ -152,7 +152,7 @@ function RighthandPanel (appAPI, events, opts) { this._view.tabbedMenu.addTab('Compile', 'compileView', compileTab(optionViews, appAPI, events, opts)) this._view.tabbedMenu.addTab('Run', 'runView', runTab(optionViews, appAPI, events)) - this._view.tabbedMenu.addTab('Settings', 'settingsView', settingsTab(optionViews, appAPI, events, opts)) + this._view.tabbedMenu.addTab('Settings', 'settingsView', settingsTab(optionViews, appAPI, events)) this._view.tabbedMenu.addTab('Analysis', 'staticanalysisView', analysisTab(optionViews)) this._view.tabbedMenu.addTab('Debugger', 'debugView', debuggerTab(optionViews)) this._view.tabbedMenu.addTab('Support', 'supportView', supportTab(optionViews, appAPI, events, opts)) diff --git a/src/app/tabs/settings-tab.js b/src/app/tabs/settings-tab.js index f1d0a94832..17f9e6c7d5 100644 --- a/src/app/tabs/settings-tab.js +++ b/src/app/tabs/settings-tab.js @@ -10,7 +10,7 @@ var modal = require('../ui/modal-dialog-custom') var css = require('./styles/settings-tab-styles') -function SettingsTab (container, appAPI, appEvents, opts) { +function SettingsTab (container, appAPI, appEvents) { if (typeof container === 'string') container = document.querySelector(container) if (!container) throw new Error('no container given')