Relax margins a bit to make it work better with less space

This commit is contained in:
itsjunetime
2024-05-26 18:36:49 -06:00
parent b783692ccc
commit c6d46af82d
2 changed files with 4 additions and 2 deletions
+1
View File
@@ -1 +1,2 @@
#!/usr/bin/env bash
RUSTFLAGS="-Cpanic=abort -Ccodegen-units=1 -Cembed-bitcode=yes -Zdylib-lto -Copt-level=s -Zlocation-detail=none -Cstrip=symbols -Ctarget-cpu=native" cargo -Z build-std=std,panic_abort -Z build-std-features=panic_immediate_abort build --profile production --target "$(rustc +nightly -Z unstable-options --print target-spec-json | jq -r '."llvm-target"')" RUSTFLAGS="-Cpanic=abort -Ccodegen-units=1 -Cembed-bitcode=yes -Zdylib-lto -Copt-level=s -Zlocation-detail=none -Cstrip=symbols -Ctarget-cpu=native" cargo -Z build-std=std,panic_abort -Z build-std-features=panic_immediate_abort build --profile production --target "$(rustc +nightly -Z unstable-options --print target-spec-json | jq -r '."llvm-target"')"
+3 -2
View File
@@ -82,11 +82,12 @@ impl Tui {
Constraint::Fill(1), Constraint::Fill(1),
Constraint::Length(3) Constraint::Length(3)
]) ])
.horizontal_margin(4) .horizontal_margin(2)
.vertical_margin(2) .vertical_margin(1)
.split(frame.size()) .split(frame.size())
} }
// TODO: Make a way to fill the width of the screen with one page and scroll down to view it
pub fn render(&mut self, frame: &mut Frame<'_>, main_area: &[Rect], end_update: &mut bool) { pub fn render(&mut self, frame: &mut Frame<'_>, main_area: &[Rect], end_update: &mut bool) {
let top_block = Block::new() let top_block = Block::new()
.padding(Padding { .padding(Padding {