Adds adjustment for display scaling != 100%

Author: cjakeman

Source/Menu/MainForm.cs

@@ -1613,6 +1613,15 @@ public void UpdateNotificationPageAlert()
                 pbNotificationsSome.Visible = true;
                 lblNotificationCount.Visible = true;
                 lblNotificationCount.Text = $"{NotificationManager.NewPages.Count - NotificationManager.NewPages.Viewed}";
+
+                // If screen scaling != 100%, then the count doesn't lie on top of the red circle, so adjust its position.
+                if (NotificationManager.ScreenScaling != 1.0 & NotificationManager.ScreenAdjusted == false)
+                {
+                    var adjustment = (int)((NotificationManager.ScreenScaling - 1.0) * 20); // 20 to adjust 125% by 5 pixels
+                    lblNotificationCount.Top -= adjustment;
+                    lblNotificationCount.Left -= adjustment;
+                    NotificationManager.ScreenAdjusted = true;
+                }
             }
             else
             {

Source/Menu/Menu.csproj

@@ -31,6 +31,7 @@
       <SpecificVersion>False</SpecificVersion>
       <HintPath>..\3rdPartyLibs\GNU.Gettext.WinForms.dll</HintPath>
     </Reference>
+    <Reference Include="PresentationFramework" />
     <Reference Include="System.DirectoryServices" />
     <Reference Include="System.Net.Http" />
     <Reference Include="WindowsBase" />

Source/Menu/Notifications/NotificationManager.cs

@@ -22,7 +22,9 @@
 using System.Linq;
 using System.Net;
 using System.Resources;
+using System.Runtime.InteropServices;
 using System.Text;
+using System.Windows;
 using System.Windows.Forms;
 using Newtonsoft.Json;
 using ORTS.Common;
@@ -75,6 +77,8 @@ public class PageTracking
         public Image FirstImage { get; private set; }
         public Image LastImage { get; private set; }
         public PageTracking NewPages { get; private set; }
+        public double ScreenScaling { get; private set; }
+        public bool ScreenAdjusted { get; set; }
 
         public NotificationManager(MainForm mainForm, ResourceManager resources, UpdateManager updateManager, UserSettings settings, Panel panel)
         {
@@ -83,14 +87,20 @@ public NotificationManager(MainForm mainForm, ResourceManager resources, UpdateM
             this.Settings = settings;
             Panel = panel;
             NewPages = new PageTracking();
-            
+            ScreenScaling = GetScalingFactor();
+
             // Load images of arrows
             PreviousImage = (Image)resources.GetObject("Notification_previous");
             NextImage = (Image)resources.GetObject("Notification_next");
             FirstImage = (Image)resources.GetObject("Notification_first");
             LastImage = (Image)resources.GetObject("Notification_last");
         }
-        
+
+        public double GetScalingFactor()
+        {
+            return Screen.PrimaryScreen.Bounds.Width / SystemParameters.PrimaryScreenWidth;
+        }
+
         public void CheckNotifications()
         {
             try