123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960 |
- using PRS.Shared;
- using System;
- using System.Collections.Generic;
- using System.Linq;
- using System.Text;
- using System.Threading.Tasks;
- using System.Windows;
- using System.Windows.Controls;
- namespace PRSDesktop
- {
- public delegate void HeaderChangedEvent(DashboardHeader header);
- public class DashboardHeader
- {
- private readonly List<FrameworkElement> Elements = new();
- private bool Updating = false;
- public event HeaderChangedEvent? HeaderChanged;
- public DashboardHeader BeginUpdate()
- {
- Updating = true;
- return this;
- }
- public DashboardHeader EndUpdate()
- {
- Updating = false;
- Update();
- return this;
- }
- private void Update()
- {
- if (!Updating)
- {
- HeaderChanged?.Invoke(this);
- }
- }
- public DashboardHeader Clear()
- {
- Elements.Clear();
- Update();
- return this;
- }
- public DashboardHeader Add(FrameworkElement element)
- {
- Elements.Add(element);
- Update();
- return this;
- }
- public IEnumerable<FrameworkElement> GetElements() => Elements;
- }
- public interface IHeaderDashboard
- {
- DashboardHeader Header { get; }
- }
- }
|