Release/v0.3.4

.github/workflows/flutter-linux.yml

@@ -73,14 +73,14 @@ jobs:
         uses: subosito/flutter-action@v2
         with:
           channel: stable
-          flutter-version: '3.47.0'
+          flutter-version-file: pubspec.yaml
           cache: true
 
       - name: Enable Linux desktop
         run: flutter config --enable-linux-desktop
 
-      - name: Resolve dependencies
-        run: flutter pub get
+      - name: Resolve locked dependencies
+        run: flutter pub get --enforce-lockfile
 
       - name: Generate localizations
         run: flutter gen-l10n
@@ -166,15 +166,32 @@ jobs:
       - name: Check out repository
         uses: actions/checkout@v7
 
-      - name: Build strict Snap from a clean core24 environment
+      - name: Build strict Snap from a clean core24 environment (attempt 1)
         id: snapcraft
         uses: snapcore/action-build@v1
+        continue-on-error: true
+
+      - name: Retry strict Snap build after an infrastructure failure
+        id: snapcraft-retry
+        if: steps.snapcraft.outcome == 'failure'
+        uses: snapcore/action-build@v1
+
+      - name: Select built Snap
+        id: snap-artifact
+        env:
+          PRIMARY_SNAP: ${{ steps.snapcraft.outputs.snap }}
+          RETRY_SNAP: ${{ steps.snapcraft-retry.outputs.snap }}
+        run: |
+          snap_path="${PRIMARY_SNAP:-$RETRY_SNAP}"
+          test -n "$snap_path"
+          test -f "$snap_path"
+          echo "snap=$snap_path" >> "$GITHUB_OUTPUT"
 
       - name: Upload Snap artifact
         uses: actions/upload-artifact@v7
         with:
           name: busymark-snap
-          path: ${{ steps.snapcraft.outputs.snap }}
+          path: ${{ steps.snap-artifact.outputs.snap }}
 
       - name: Install desktop smoke dependencies
         run: |
@@ -184,7 +201,7 @@ jobs:
       - name: Install strict Snap
         run: >-
           sudo snap install --dangerous
-          "${{ steps.snapcraft.outputs.snap }}"
+          "${{ steps.snap-artifact.outputs.snap }}"
 
       - name: Verify GTK SVG icon loader
         run: |

README.md

@@ -163,7 +163,8 @@ references. An interactive exercise is available in
 
 ## Run From Source
 
-1. [Install Flutter](https://docs.flutter.dev/install)
+1. [Install Flutter 3.47.0](https://docs.flutter.dev/install). The exact
+   project version is declared in `pubspec.yaml` and shared with CI.
 
 2. Run the application:
 

lib/src/app/app_metadata.dart

@@ -1 +1 @@
-const busyMarkAppVersion = '0.3.3';
+const busyMarkAppVersion = '0.3.4';

lib/src/app/busymark_dialogs.dart

@@ -2657,13 +2657,15 @@ class _AboutVersionTag extends StatelessWidget {
 
   @override
   Widget build(BuildContext context) {
-    final colors = BusyMarkSurfaceColors.of(context);
+    final theme = Theme.of(context);
+    final colorScheme = theme.colorScheme;
     return Center(
       child: DecoratedBox(
+        key: const ValueKey('about-version-tag'),
         decoration: BoxDecoration(
-          color: colors.control,
+          color: colorScheme.primary,
           borderRadius: BorderRadius.circular(BusyMarkRadius.pill),
-          border: Border.all(color: colors.subtleBorder),
+          border: Border.all(color: colorScheme.primary),
         ),
         child: Padding(
           padding: const EdgeInsets.symmetric(
@@ -2675,8 +2677,8 @@ class _AboutVersionTag extends StatelessWidget {
             child: Text(
               version,
               textAlign: TextAlign.center,
-              style: Theme.of(context).textTheme.labelMedium?.copyWith(
-                color: colors.foreground,
+              style: theme.textTheme.labelMedium?.copyWith(
+                color: colorScheme.onPrimary,
                 fontWeight: FontWeight.w600,
               ),
             ),

lib/src/editor/document_collapsible.dart

@@ -12,6 +12,8 @@ class BusyMarkDocumentCollapsible extends StatefulWidget {
     required this.child,
     required this.kindLabel,
     this.initiallyExpanded = false,
+    this.expanded,
+    this.onExpansionChanged,
     this.framed = false,
     this.toggleOnHeaderTap = true,
     this.margin = const EdgeInsets.symmetric(vertical: BusyMarkSpacing.xs),
@@ -21,6 +23,8 @@ class BusyMarkDocumentCollapsible extends StatefulWidget {
   final Widget child;
   final String kindLabel;
   final bool initiallyExpanded;
+  final bool? expanded;
+  final ValueChanged<bool>? onExpansionChanged;
   final bool framed;
   final bool toggleOnHeaderTap;
   final EdgeInsetsGeometry margin;
@@ -34,29 +38,36 @@ class _BusyMarkDocumentCollapsibleState
     extends State<BusyMarkDocumentCollapsible> {
   late bool _expanded = widget.initiallyExpanded;
 
+  bool get _effectiveExpanded => widget.expanded ?? _expanded;
+
   @override
   void didUpdateWidget(BusyMarkDocumentCollapsible oldWidget) {
     super.didUpdateWidget(oldWidget);
-    if (oldWidget.initiallyExpanded != widget.initiallyExpanded) {
+    if (widget.expanded == null &&
+        oldWidget.initiallyExpanded != widget.initiallyExpanded) {
       _expanded = widget.initiallyExpanded;
     }
   }
 
-  void _toggle() => setState(() => _expanded = !_expanded);
+  void _toggle() {
+    final next = !_effectiveExpanded;
+    widget.onExpansionChanged?.call(next);
+    if (widget.expanded == null) {
+      setState(() => _expanded = next);
+    }
+  }
 
   @override
   Widget build(BuildContext context) {
     final colors = BusyMarkSurfaceColors.of(context);
-    final tooltip = _expanded
+    final expanded = _effectiveExpanded;
+    final tooltip = expanded
         ? context.l10n.collapseKind(widget.kindLabel)
         : context.l10n.expandKind(widget.kindLabel);
     final content = Column(
       crossAxisAlignment: CrossAxisAlignment.stretch,
       mainAxisSize: MainAxisSize.min,
-      children: [
-        _header(context, colors, tooltip),
-        if (_expanded) widget.child,
-      ],
+      children: [_header(context, colors, tooltip), if (expanded) widget.child],
     );
     if (!widget.framed) {
       return Padding(padding: widget.margin, child: content);
@@ -80,7 +91,7 @@ class _BusyMarkDocumentCollapsibleState
     BusyMarkSurfaceColors colors,
     String tooltip,
   ) {
-    final icon = _expanded
+    final icon = _effectiveExpanded
         ? BusyMarkGlyphs.downArrow
         : BusyMarkGlyphs.collapsedTreeArrowFor(Directionality.of(context));
     final row = Padding(
@@ -118,7 +129,7 @@ class _BusyMarkDocumentCollapsibleState
     }
     return Semantics(
       button: true,
-      expanded: _expanded,
+      expanded: _effectiveExpanded,
       label: tooltip,
       child: InkWell(
         onTap: _toggle,

lib/src/editor/document_text_geometry.dart

@@ -12,8 +12,13 @@ abstract final class BusyMarkDocumentTextGeometry {
       editableCaretGap + editableCursorWidth;
 
   /// Uses the complete text strut so selection has balanced breathing room
-  /// above capitals and below descenders in both Source and Editor views.
+  /// above capitals and below descenders in rich Editor fields.
   static const BoxHeightStyle selectionHeightStyle = BoxHeightStyle.strut;
+
+  /// Follows the tallest styled glyph on each Source line. Source syntax can
+  /// enlarge headings beyond the base monospace strut, so a strut-sized box
+  /// can clip the lower edge of selected heading text.
+  static const BoxHeightStyle sourceSelectionHeightStyle = BoxHeightStyle.max;
   static const BoxWidthStyle selectionWidthStyle = BoxWidthStyle.tight;
   static const double fallbackSelectionAlpha = 0.40;
 }

lib/src/editor/source/source_commands.dart

@@ -26,6 +26,9 @@ abstract final class SourceCommands {
     TextEditingValue value, {
     int indentWidth = defaultIndentWidth,
   }) {
+    if (!_normalizedSelection(value).isCollapsed) {
+      return indentSelection(value, indentWidth: indentWidth);
+    }
     return _replaceSelection(value, ' ' * indentWidth);
   }
 

lib/src/editor/source/source_document.dart

@@ -36,6 +36,41 @@ class SourceDocument {
     visibleLineIndex = SourceLineIndex(visibleText);
   }
 
+  SourceDocument._({
+    required this.fullText,
+    required this.hiddenRanges,
+    required this.lineIndex,
+    required this.visibleText,
+    required this.visibleLineIndex,
+  });
+
+  factory SourceDocument.afterVisibleEdit({
+    required SourceDocument previous,
+    required String fullText,
+    required SourceHiddenRanges hiddenRanges,
+    required SourceVisibleEdit edit,
+  }) {
+    final visibleText = hiddenRanges.visibleTextFor(fullText);
+    final visibleChange = _changedRange(previous.visibleText, visibleText);
+    return SourceDocument._(
+      fullText: fullText,
+      hiddenRanges: hiddenRanges,
+      lineIndex: SourceLineIndex.updated(
+        previous: previous.lineIndex,
+        source: fullText,
+        oldStart: edit.fullStart,
+        oldEnd: edit.fullEnd,
+      ),
+      visibleText: visibleText,
+      visibleLineIndex: SourceLineIndex.updated(
+        previous: previous.visibleLineIndex,
+        source: visibleText,
+        oldStart: visibleChange.oldStart,
+        oldEnd: visibleChange.oldEnd,
+      ),
+    );
+  }
+
   final String fullText;
   final SourceHiddenRanges hiddenRanges;
   final SourceLineIndex lineIndex;
@@ -88,15 +123,18 @@ class SourceDocument {
         affinity: selection.affinity,
       );
     }
+    final fullStart = visibleOffsetToFullOffset(
+      selection.start,
+      affinity: SourceHiddenAffinity.downstream,
+    );
+    final fullEnd = visibleOffsetToFullOffset(
+      selection.end,
+      affinity: SourceHiddenAffinity.upstream,
+    );
+    final forward = selection.baseOffset <= selection.extentOffset;
     return selection.copyWith(
-      baseOffset: visibleOffsetToFullOffset(
-        selection.baseOffset,
-        affinity: SourceHiddenAffinity.downstream,
-      ),
-      extentOffset: visibleOffsetToFullOffset(
-        selection.extentOffset,
-        affinity: SourceHiddenAffinity.upstream,
-      ),
+      baseOffset: forward ? fullStart : fullEnd,
+      extentOffset: forward ? fullEnd : fullStart,
     );
   }