flutter_flutter/examples/multiple_windows/lib/app/models.dart

// Copyright 2014 The Flutter Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

// ignore_for_file: invalid_use_of_internal_member
// ignore_for_file: implementation_imports

import 'package:flutter/widgets.dart';
import 'package:flutter/src/widgets/_window.dart';

class KeyedWindow {
  KeyedWindow({
    this.parent,
    this.isMainWindow = false,
    required this.key,
    required this.controller,
  });

  final BaseWindowController? parent;
  final bool isMainWindow;
  final UniqueKey key;
  final BaseWindowController controller;
}

/// Provides access to the windows created by the application.
///
/// The window manager manages a flat list of all of the [BaseWindowController]s
/// that have been created by the application as well as which controller is
/// currently selected by the UI.
class WindowManager extends ChangeNotifier {
  WindowManager({required List<KeyedWindow> initialWindows})
    : _windows = initialWindows;

  final List<KeyedWindow> _windows;
  List<KeyedWindow> get windows => _windows;

  void add(KeyedWindow window) {
    _windows.add(window);
    notifyListeners();
  }

  void remove(UniqueKey key) {
    _windows.removeWhere((KeyedWindow window) => window.key == key);
    notifyListeners();
  }
}

/// Provides access to the [WindowManager] from the widget tree.
class WindowManagerAccessor extends InheritedNotifier<WindowManager> {
  const WindowManagerAccessor({
    super.key,
    required super.child,
    required WindowManager windowManager,
  }) : super(notifier: windowManager);

  static WindowManager of(BuildContext context) {
    final WindowManagerAccessor? result = context
        .dependOnInheritedWidgetOfExactType<WindowManagerAccessor>();
    assert(result != null, 'No WindowManager found in context');
    return result!.notifier!;
  }
}

/// Settings that control the behavior of newly created windows.
class WindowSettings {
  WindowSettings({
    this.regularSize = const Size(400, 300),
    this.dialogSize = const Size(200, 200),
  });

  /// The initial size for newly created regular windows.
  Size regularSize;

  /// The initial size of the dialog window.
  Size dialogSize;
}

/// Provides access to the [WindowSettings] from the widget tree.
class WindowSettingsAccessor extends InheritedWidget {
  const WindowSettingsAccessor({
    super.key,
    required super.child,
    required this.windowSettings,
  });

  final WindowSettings windowSettings;

  static WindowSettings of(BuildContext context) {
    final WindowSettingsAccessor? result = context
        .dependOnInheritedWidgetOfExactType<WindowSettingsAccessor>();
    assert(result != null, 'No WindowSettings found in context');
    return result!.windowSettings;
  }

  @override
  bool updateShouldNotify(WindowSettingsAccessor oldWidget) {
    return windowSettings != oldWidget.windowSettings;
  }
}