-
Notifications
You must be signed in to change notification settings - Fork 164
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
removing inspector tab #1816
removing inspector tab #1816
Conversation
The Steering Committee reached a consensus to remove the Inspector Tab. I took a look and discovered that the the inspector component in js-slang serves as tool to keep track of the line numbers when debugging. The "inspector" in cadet-frontend serves as model component: representing the state of the running program. This role of "inspector" makes sense, regardless whether we have an "Inspector" tab or not. This PR therefore proposes to keep the "inspector" interface in js-slang and the model component of "inspector" in cadet-frontend. The PR proposes just to remove the Inspector tab. Any views welcome. |
Deploying with Cloudflare Pages
|
Pull Request Test Coverage Report for Build 957094147
💛 - Coveralls |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good! I made some additional changes.
@@ -377,32 +377,6 @@ $code-color-error: #ff4444; | |||
} | |||
} | |||
|
|||
##{$ns}-tab-panel_side-content-tabs_inspector { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Removed unused styles
@@ -1,225 +1,4 @@ | |||
(function (exports) { | |||
var container = document.createElement('div'); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The functions I've removed don't seem to be referenced anymore. This means that this file (named inspector.js) is now only responsible for highlighting lines (when debugging).
Description
Type of change
How to test
Checklist