anchor.diff:        ),
         actions: [
           TextButton(
  -          onPressed: _label.isNotEmpty
  -              ? () async {
  -                  final renamed = await ref
  -                      .read(fingerprintProvider(widget.devicePath).notifier)
  -                      .renameFingerprint(fingerprint, _label);
  -                  Navigator.of(context).pop(renamed);
  -                  showMessage(context, 'Fingerprint renamed');
  -                }
  -              : null,
  +          onPressed: _label.isNotEmpty ? _submit : null,
             child: const Text('Save'),
           ),
         ],
  
positive.code:     _label = widget.fingerprint.name ?? '';
    }
  
    @override
    Widget build(BuildContext context) {
      // If current device changes, we need to pop back to the main Page.
  
negative.code:                 _label = value.trim();
                });
              },
              onFieldSubmitted: (_) {
                if (_label.isNotEmpty) {
                  _submit();
                }
              },
            ),
          ]
              .map((e) => Padding(
  