mirror of
https://github.com/enso-org/enso.git
synced 2024-12-20 15:02:46 +03:00
7f9ed71ad9
Closes #6196. Three things were going wrong: - Not directly contributing, but adding confusion was the fact that padding of 5px was added in two different places. Since the 10px we've had up until now looked better, especially given the size of the rounded corners, I've kept it at 10px, but only applied in one place. - The main issue was that the length the scrollbars scroll over didn't take padding into account. At the same time, I changed the `max` and `thumb_size` variables to the coordinate system of the content. This is also how they're being used in `ScrollArea`, which is the only other place where `Scrollbar`s are being used. - The line height of text grid entries was set to the default of 1.2. That's the default line height in browsers, which is great for multi-line text and elements whose height is greater than the line height. In this case, however, where the height and the font size are set to the same value, the default setting of 1.2 pushes the text below the allotted space. https://user-images.githubusercontent.com/607786/234297411-8c0b3851-5977-4ca5-b3b4-5b0782510e14.mp4 |
||
|---|---|---|
| .. | ||
| component-list-panel-view | ||
| documentation | ||
| execution-environment-dropdown | ||
| icons | ||
| interface | ||
| src | ||
| text-grid-visualization | ||
| visualization | ||
| Cargo.toml | ||