Lettore: margini configurabili (Settings.readerMargin + Slider nelle impostazioni, iniettati nello stile del capitolo) + controlli in PushUpMenu (un solo trascinamento in alto)

2026-08-12 17:00:27 +02:00
parent 4fbc6185a7
commit 8eb4244eee
6 changed files with 97 additions and 85 deletions
@@ -57,6 +57,19 @@ Page {
                onCheckedChanged: appSettings.ignoreSslErrors = checked
            }

+            SectionHeader { text: "Lettore" }
+
+            Slider {
+                id: marginSlider
+                label: "Margini del testo"
+                minimumValue: 0
+                maximumValue: 80
+                stepSize: 4
+                value: appSettings.readerMargin
+                valueText: value + " px"
+                onValueChanged: appSettings.readerMargin = value
+            }
+
            SectionHeader { text: "Connessione" }

            Button {