From c611a370e4e57e7e9a4d9aeb9678819587a8da28 Mon Sep 17 00:00:00 2001
From: James Haywood <jameshaywood@fastmail.com>
Date: Mon, 29 Apr 2024 10:03:09 -0400
Subject: [PATCH] Tweak README and new proof UI

---
 README.md        | 5 ++++-
 src/ui/popups.rs | 2 +-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index d499fb5..092d03b 100644
--- a/README.md
+++ b/README.md
@@ -40,7 +40,9 @@ cargo install --locked --git https://github.com/Colonial-Dev/deduct deduct
 ```
 
 ## Getting Started
-You can start a new proof by navigating to `Proof` > `New...` in the menu bar. Select which rulesets you'd like to enable, enter your premises (if any) and conclusion, and hit `Create proof`. If your sentences are well formed, the window will close and you can start working on the proof.
+I recommend you use the [web version](https://colonial-dev.github.io/deduct/).
+
+You can start a new proof by navigating to `Proof` > `New...` in the menu bar. Select which rulesets you'd like to enable, enter your premises (if any) and conclusion, and hit `Create proof`. If your sentences are well formed, the window will close and you can start working.
 
 ### Tips
 - If you would prefer light mode or a larger UI, both can be adjusted under `Preferences` in the menu bar. Your choices will be remembered even if you close and re-open Deduct.
@@ -50,6 +52,7 @@ You can start a new proof by navigating to `Proof` > `New...` in the menu bar. S
 ### Control
 - You can add and remove lines or subproofs by hovering over the relevant line and clicking the buttons that appear to the right of the citation field.
 - All insertion actions also have keyboard shortcuts. The exact keys vary between platforms; look at `Help` > `Shortcuts` in the menu bar to find yours.
+- `TAB` works like you would expect, including inside the proof UI. (Example: while editing a sentence, `TAB` will move the cursor to its citation field.)
 - Whenever you edit a field or remove a line, the proof checker will automatically execute and display its output at the bottom of the window. 
   - (Adding a line or subproof does not trigger the checker.)
 
diff --git a/src/ui/popups.rs b/src/ui/popups.rs
index 697a0b5..e4f3729 100644
--- a/src/ui/popups.rs
+++ b/src/ui/popups.rs
@@ -143,7 +143,7 @@ impl Widget for &mut NewProof {
 
             ui.vertical(|ui| {
                 let p = TextEdit::singleline(&mut self.premises)
-                    .hint_text("Premises...")
+                    .hint_text("Premises... (separate with commas)")
                     .font(font.clone())
                     .desired_width(f32::INFINITY)
                     .margin(Margin::symmetric(0.0, 0.0))