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 = value.trim();
                });
              },
            ),
          ]
              .map((e) => Padding(
  
negative.code:       Navigator.of(context).pop();
      });
  
      return ResponsiveDialog(
        title: const Text('Rename fingerprint'),
        child: Column(
          crossAxisAlignment: CrossAxisAlignment.start,
          children: [
            Text('Rename ${widget.fingerprint.label}?'),
            const Text('This will change the label of the fingerprint.'),
            TextFormField(
              initialValue: _label,
  