Skip to content

[JENKINS-71177] Icon legend looks bad when the modal needs to scroll #18624

Closed

Description

@jenkins-infra-bot

Recently the legend of the icons was change to a modal. This looks good when the content can be displayed as whole. But as soon as there is scrolling involved it doesn't look so good anymore.

The scrollbar buttons at top/buttom are partly overlapping with the rounded corners.

There is no margin between content and the border of the modal

 

Proposed change is to have a dedicated title that is fixed on top and always displayed so only the content is scrolled with a proper bottom margin


Originally reported by mawinter69, imported from: Icon legend looks bad when the modal needs to scroll
  • assignee: mawinter69
  • status: Closed
  • priority: Minor
  • component(s): core
  • resolution: Fixed
  • resolved: 2023-05-10T17:10:07+00:00
  • votes: 0
  • watchers: 1
  • imported: 2025-11-24
Raw content of original issue

Recently the legend of the icons was change to a modal. This looks good when the content can be displayed as whole. But as soon as there is scrolling involved it doesn't look so good anymore.

The scrollbar buttons at top/buttom are partly overlapping with the rounded corners.

There is no margin between content and the border of the modal

 

Proposed change is to have a dedicated title that is fixed on top and always displayed so only the content is scrolled with a proper bottom margin

1 attachment

Activity

  1. jenkins-infra-bot commented on May 2, 2023

    @jenkins-infra-bot
    Author
  2. removed
    bugFor changelog: Minor bug. Will be listed after features
    on Nov 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions