Title: Fix sized delimiters for regular-sized mathtext (#5863) by zblz · Pull Request #5871 · matplotlib/matplotlib · GitHub
Open Graph Title: Fix sized delimiters for regular-sized mathtext (#5863) by zblz · Pull Request #5871 · matplotlib/matplotlib
X Title: Fix sized delimiters for regular-sized mathtext (#5863) by zblz · Pull Request #5871 · matplotlib/matplotlib
Description: This fixes the problem in #5863: when \left or \right where used with delimiters and regular text, the delimiters tended to be typeset too small. In addition, the regular sized delimiters from STIX were used in dejavusans even when DejaVu Sans delimiters at that size are available. Here I modify the DejaVu classes so that DejaVu itself is used for the 0 sized delimiters, and modify the AutoHeightChar class so that when the 0 sized delimiters have been selected they are not scaled or shifted (as you need to do when you are enveloping, e.g., a fraction). No new tests are needed as this behaviour is seen in various tests already.
Open Graph Description: This fixes the problem in #5863: when \left or \right where used with delimiters and regular text, the delimiters tended to be typeset too small. In addition, the regular sized delimiters from STIX...
X Description: This fixes the problem in #5863: when \left or \right where used with delimiters and regular text, the delimiters tended to be typeset too small. In addition, the regular sized delimiters from STIX...
Opengraph URL: https://github.com/matplotlib/matplotlib/pull/5871
X: @github
Domain: github.com
| route-pattern | /:user_id/:repository/pull/:id/files(.:format) |
| route-controller | pull_requests |
| route-action | files |
| fetch-nonce | v2:3376f579-2bfd-60d1-b2eb-910d2389dd62 |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | B93C:2CE7AA:12B75DC:18BD161:6A54284B |
| html-safe-nonce | 693b923c575f2f44f2ba005a439f892a4448ec5d66a32ef12b266c4b56a0a0d8 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCOTNDOjJDRTdBQToxMkI3NURDOjE4QkQxNjE6NkE1NDI4NEIiLCJ2aXNpdG9yX2lkIjoiMTc5MjUwNDcxMDE0MzY4MjYzNSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9 |
| visitor-hmac | cebff46488be414c9c032f1f7263390206cc66dbb595f02b38d137ddd4f8c933 |
| hovercard-subject-tag | pull_request:56286271 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | / |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/matplotlib/matplotlib/pull/5871/files |
| twitter:image | https://avatars.githubusercontent.com/u/576258?s=400&v=4 |
| twitter:card | summary_large_image |
| og:image | https://avatars.githubusercontent.com/u/576258?s=400&v=4 |
| og:image:alt | This fixes the problem in #5863: when \left or \right where used with delimiters and regular text, the delimiters tended to be typeset too small. In addition, the regular sized delimiters from STIX... |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | b9a586c06a05a7a86fc7e3f4dbd03e42f6869085879aa184aa6369456dbd50fb |
| turbo-cache-control | no-preview |
| diff-view | unified |
| go-import | github.com/matplotlib/matplotlib git https://github.com/matplotlib/matplotlib.git |
| octolytics-dimension-user_id | 215947 |
| octolytics-dimension-user_login | matplotlib |
| octolytics-dimension-repository_id | 1385122 |
| octolytics-dimension-repository_nwo | matplotlib/matplotlib |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 1385122 |
| octolytics-dimension-repository_network_root_nwo | matplotlib/matplotlib |
| turbo-body-classes | logged-out env-production page-responsive full-width |
| disable-turbo | true |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 07a982c1d40157c619b364352b704c3ce66bb332 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width
