From 5f959894ea0eb22acad4b5cc51107361c1001dfc Mon Sep 17 00:00:00 2001
From: Flancian <0@flancia.org>
Date: Sun, 21 Jul 2024 18:32:25 +0200
Subject: [PATCH] autopushed

---
 Agora chrome.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Agora chrome.md b/Agora chrome.md
index 1c1d9e0d0..bc6158fe0 100644
--- a/Agora chrome.md	
+++ b/Agora chrome.md	
@@ -1,3 +1,5 @@
 - The [[UX]] of the [[Agora]] could be said to be its [[chrome]] in computer terms.
 - As of the time of writing, these are the priorities for [[Agora UX]] development:
-  - [[navbar]]: for want of a better name, I've long wanted to have the Agora show a navigation menu to the left when there's space; think [[hamburger menu]]. I think this could show some of the context
\ No newline at end of file
+  - [[navbar]]: for want of a better name, I've long wanted to have the Agora show a navigation menu to the left when there's space; think [[hamburger menu]]. I think this could show some of what we currently show in the context, if there is enough width? But at least it should inline some settings.
+    - Like [[autopull]] toggle.
+    - And actions?
\ No newline at end of file