mirror of
https://github.com/mikedilger/gossip.git
synced 2024-09-29 08:21:47 +00:00
Add right margin to the feed to make space for the scroll bar
This commit is contained in:
parent
b43033b0ba
commit
b82e139013
@ -255,9 +255,16 @@ fn render_a_feed(
|
|||||||
};
|
};
|
||||||
|
|
||||||
app.vert_scroll_area()
|
app.vert_scroll_area()
|
||||||
|
.auto_shrink(false)
|
||||||
.id_source(scroll_area_id)
|
.id_source(scroll_area_id)
|
||||||
.show(ui, |ui| {
|
.show(ui, |ui| {
|
||||||
egui::Frame::none()
|
egui::Frame::none()
|
||||||
|
.outer_margin(egui::Margin {
|
||||||
|
left: 0.0,
|
||||||
|
right: 10.0,
|
||||||
|
top: 0.0,
|
||||||
|
bottom: 0.0,
|
||||||
|
})
|
||||||
.rounding(app.theme.feed_scroll_rounding(&feed_properties))
|
.rounding(app.theme.feed_scroll_rounding(&feed_properties))
|
||||||
.fill(app.theme.feed_scroll_fill(&feed_properties))
|
.fill(app.theme.feed_scroll_fill(&feed_properties))
|
||||||
.stroke(app.theme.feed_scroll_stroke(&feed_properties))
|
.stroke(app.theme.feed_scroll_stroke(&feed_properties))
|
||||||
|
Loading…
Reference in New Issue
Block a user