Skip to content
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

Draft
wants to merge 19 commits into
base: master
Choose a base branch
from
Draft

Conversation

janfaracik
Copy link
Contributor

@janfaracik janfaracik commented Oct 19, 2024

WIP.

Before

image

After

image

Key changes

  • Use Jenkins color palette
  • Increase height from 250px to 350px
  • Use system monospace font
  • Icons and animations updated
  • Removed Pipeline Syntax link in favour of parent plugin's description

Testing done

Submitter checklist

  • Make sure you are opening from a topic/feature/bugfix branch (right side) and not your main branch!
  • Ensure that the pull request title represents the desired changelog entry
  • Please describe what you did
  • Link to relevant issues in GitHub or Jira
  • Link to relevant pull requests, esp. upstream and downstream changes
  • Ensure you have provided tests - that demonstrates feature works or fixes the issue

@daniel-beck
Copy link
Member

I expect that nobody will find the new link location in the description. Could it be made more visible?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants