|
|
|
@ -151,7 +151,7 @@ function RighthandPanel (appAPI, events, opts) { |
|
|
|
|
events.rhp = self.event |
|
|
|
|
|
|
|
|
|
this._view.tabbedMenu.addTab('Compile', 'compileView', compileTab(optionViews, appAPI, events, opts)) |
|
|
|
|
this._view.tabbedMenu.addTab('Run', 'runView', runTab(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('Analysis', 'staticanalysisView', analysisTab(optionViews)) |
|
|
|
|
this._view.tabbedMenu.addTab('Debugger', 'debugView', debuggerTab(optionViews)) |
|
|
|
|