Correct from source install instructions

Colonial-Dev · Apr 25, 2024 · 61cdb0e · 61cdb0e
1 parent 6b7fd66
commit 61cdb0e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -36,7 +36,7 @@ Dependencies:
 
 Just use `cargo install`, and Deduct will be compiled and added to your `PATH`.
 ```sh
-cargo install --locked --git https://github.com/Colonial-Dev/deduct --branch master
+cargo install --locked --git https://github.com/Colonial-Dev/deduct deduct
 ```
 
 ## Getting Started

diff --git a/src/ui/popups.rs b/src/ui/popups.rs
@@ -146,12 +146,14 @@ impl Widget for &mut NewProof {
                     .hint_text("Premises...")
                     .font(font.clone())
                     .desired_width(f32::INFINITY)
+                    .margin(Margin::symmetric(0.0, 0.0))
                     .show(ui);
 
                 let c = TextEdit::singleline(&mut self.conclusion)
                     .hint_text("Conclusion...")
                     .font(font.clone())
                     .desired_width(f32::INFINITY)
+                    .margin(Margin::symmetric(0.0, 0.0))
                     .show(ui);
 
                 if p