remove unnecessary parameters from runSettings

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))

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')