anchor.diff:            OutlineDecoration(
               child: Column(
                 children: [
  -                if (selectedProviderId != null) ...[
  -                  AreaPaneHeader(
  -                    title: Text(watch(_selectedProviderNode)?.type ?? ''),
  -                  ),
  +                AreaPaneHeader(
  +                  title: Text(detailsTitleText),
  +                  needsTopBorder: false,
  +                ),
  +                if (selectedProviderId != null)
                     Expanded(
                       child: InstanceViewer(
                         rootPath: InstancePath.fromProviderId(selectedProviderId),
                       ),
                     )
  -                ] else
  -                  const AreaPaneHeader(title: Text('[No provider selected]')),
                 ],
               ),
             )
  
positive.code:           OutlineDecoration(
              child: Column(
                children: const [
                  AreaPaneHeader(title: Text('Providers')),
                  Expanded(
                    child: ProviderList(),
                  ),
  
negative.code: 
      // A provider will automatically be selected as soon as one is detected
      final selectedProviderId = watch(selectedProviderIdProvider);
      final detailsTitleText = selectedProviderId != null
          ? watch(_selectedProviderNode)?.type ?? ''
          : '[No provider selected]';
      return ProviderListener<bool>(
        provider: _hasErrorProvider,
        onChange: (context, hasError) {
  