-
Notifications
You must be signed in to change notification settings - Fork 196
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
Update appearance of editor #946
base: master
Are you sure you want to change the base?
Conversation
I expect that nobody will find the new link location in the description. Could it be made more visible? |
@@ -1,4 +0,0 @@ | |||
<p> |
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.
whilst this was not the best help - it did at least prompt users where to look?
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.
Restored it.
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.
Code change look one to me. Have not run the pr in any circumstances context (proprietary or other.)
ATH appears to be unaffected.
Will wait to give @daniel-beck a chance to rereview
This PR sets out to update the appearance of the pipeline editor, updating it to the Jenkins variables (such as the color palette, fonts) for consistency and making it a little larger too.
Before
After
Key changes
250px
to350px
Testing done
Submitter checklist