anchor.diff:  
     void _init() async {
       windowManager.addListener(this);
  -    _idleTimer = Timer(const Duration(seconds: 5), () async {
  -      final visible = await windowManager.isVisible();
  -      if (mounted && !visible) {
  -        state = state.copyWith(active: false);
  -      }
  -    });
  +    // isFocused is not supported on Linux, assume focused
  +    if (!Platform.isLinux) {
  +      _idleTimer = Timer(const Duration(seconds: 5), () async {
  +        final focused = await windowManager.isFocused();
  +        if (mounted && !focused) {
  +          state = state.copyWith(active: false);
  +        }
  +      });
  +    }
     }
   
     @override
  
positive.code:           break;
          case 'restore':
            state = state.copyWith(visible: true, active: true);
            break;
          default:
            _log.fine('Window event ignored: $eventName');
  
negative.code: import 'dart:async';
  import 'dart:io';
  
  import 'package:logging/logging.dart';
  import 'package:flutter_riverpod/flutter_riverpod.dart';
  