mirror of
https://github.com/YGGverse/Yoda.git
synced 2026-04-02 17:45:28 +00:00
hide gutter on spawn
This commit is contained in:
parent
971af2e39f
commit
60a2300e03
1 changed files with 6 additions and 5 deletions
|
|
@ -20,12 +20,13 @@ impl Gutter {
|
||||||
// "caption",
|
// "caption",
|
||||||
"dim-label",
|
"dim-label",
|
||||||
])
|
])
|
||||||
.halign(Align::Start)
|
|
||||||
.margin_start(MARGIN_X)
|
|
||||||
.margin_end(MARGIN_X)
|
|
||||||
.margin_top(MARGIN_Y)
|
|
||||||
.margin_bottom(MARGIN_Y)
|
|
||||||
.ellipsize(EllipsizeMode::Middle)
|
.ellipsize(EllipsizeMode::Middle)
|
||||||
|
.halign(Align::Start)
|
||||||
|
.margin_bottom(MARGIN_Y)
|
||||||
|
.margin_end(MARGIN_X)
|
||||||
|
.margin_start(MARGIN_X)
|
||||||
|
.margin_top(MARGIN_Y)
|
||||||
|
.visible(false)
|
||||||
.build();
|
.build();
|
||||||
|
|
||||||
text_view.set_gutter(TextWindowType::Bottom, Some(&label));
|
text_view.set_gutter(TextWindowType::Bottom, Some(&label));
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue