Merge branch 'main' of git.arirex.me:iris/ai-app

app/androidApp/src/main/kotlin/com/example/aiapp/NerdIcons.kt

@@ -132,11 +132,13 @@ private val GLYPH_EXTENT = GLYPH_SIZE.value.dp
  * bolted on beside it, which left the two header icons 31dp apart and the outer one 14dp from the
  * edge, so a pair that acts on one screen read as two unrelated marks with one falling off it.
  *
- * 40dp is Material's own icon-button state layer, and it is also what the pressed-state ripple
- * draws: at 28dp that circle was inscribed in the mark's own corners. The touch target grows with
- * it, from well under the platform's 48dp minimum to within 8dp of it.
+ * 48dp is the platform's minimum touch target, so the square is also the whole of what a finger has
+ * to find. It is what the pressed-state ripple draws, too: at 28dp that circle was inscribed in the
+ * mark's own corners, and beside a title it arrived at the first letter. And it is taller than any
+ * header's text, which is what lets the button fill a header row rather than sit in the middle of
+ * one -- the rows add no vertical padding of their own for the same reason they add no gap.
  */
-private val GLYPH_BUTTON_SIZE = 40.dp
+private val GLYPH_BUTTON_SIZE = 48.dp
 
 /**
  * The ring itself, for putting something that is *not* a glyph button next to one -- a title beside

app/androidApp/src/main/kotlin/com/example/aiapp/SessionScreen.kt

@@ -1282,7 +1282,7 @@ fun SessionScreen(settings: ServerSettings, summary: SessionSummary, onBack: ()
     Column(Modifier.fillMaxSize()) {
         Row(
             verticalAlignment = Alignment.CenterVertically,
-            modifier = Modifier.fillMaxWidth().padding(horizontal = 16.dp, vertical = 4.dp),
+            modifier = Modifier.fillMaxWidth().padding(horizontal = 16.dp),
         ) {
             GlyphButton(BACK_GLYPH, "Back", onBack)
             // A ring's worth, which is what the arrow already keeps on its other three sides --