|
||||||||
|
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira |
||||||||
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
> A lot more than font was changed, so this may be incidental.
The font change was not incidental; it was filed as a specific issue (
JENKINS-23840) separate from the other UI changes. The change submitter also specifically increased the font size.It appears, however, that Marlene's and my complaints about the formatting of columns are not related to the font change, but rather to the UI redesign, probably pull request 1310, which changed the way tables are rendered.