dedupe border code

Author: bitfaster

JitExplorer/Component/ThinBorder.cs

@@ -0,0 +1,20 @@
+using System;
+using System.Collections.Generic;
+
+using System.Text;
+using System.Windows;
+using System.Windows.Media;
+
+namespace JitExplorer.Component
+{
+    public static class ThinBorder
+    {
+        public static void SetThinBorder(object sender, EventArgs e)
+        {
+            var s = (Window)sender;
+            Matrix m = PresentationSource.FromVisual(s).CompositionTarget.TransformToDevice;
+            double dpiFactor = 1 / m.M11;
+            s.BorderThickness = new Thickness(dpiFactor);
+        }
+    }
+}

JitExplorer/MainWindow.xaml.cs

@@ -5,6 +5,7 @@
 using ICSharpCode.AvalonEdit.Highlighting;
 using ICSharpCode.AvalonEdit.Highlighting.Xshd;
 using JitExplorer.Completion;
+using JitExplorer.Component;
 using JitExplorer.Controls;
 using JitExplorer.Engine;
 using JitExplorer.Engine.Compile;
@@ -73,7 +74,7 @@ public static void Execute()
 
             this.AssemblerView.MouseDoubleClick += AssemblerView_MouseDoubleClick;
 
-            this.Loaded += a_Loaded;
+            this.Loaded += ThinBorder.SetThinBorder;
 
             // in the constructor:
             this.CodeEditor.TextArea.TextEntering += textEditor_TextArea_TextEntering;
@@ -99,13 +100,7 @@ public static void Execute()
             this.AsmTab.CloseButtonEnabled = true;
         }
 
-        void a_Loaded(object sender, EventArgs e)
-        {
-            var s = (Window)sender;
-            Matrix m = PresentationSource.FromVisual(s).CompositionTarget.TransformToDevice;
-            double dpiFactor = 1 / m.M11;
-            this.BorderThickness = new Thickness(dpiFactor);
-        }
+
 
         // Scroll to line
         private void AssemblerView_MouseDoubleClick(object sender, MouseButtonEventArgs e)

JitExplorer/Splash.xaml.cs

@@ -1,4 +1,5 @@
-using MahApps.Metro.Controls;
+using JitExplorer.Component;
+using MahApps.Metro.Controls;
 using System;
 using System.Collections.Generic;
 using System.Text;
@@ -22,17 +23,7 @@ public partial class Splash : MetroWindow
         public Splash()
         {
             InitializeComponent();
-            this.Loaded += a_Loaded;
-        }
-
-        void a_Loaded(object sender, EventArgs e)
-        {
-            var s = (Window)sender;
-
-            Matrix m = PresentationSource.FromVisual(s).CompositionTarget.TransformToDevice;
-            double dpiFactor = 1 / m.M11;
-
-            this.BorderThickness = new Thickness(dpiFactor);
+            this.Loaded += ThinBorder.SetThinBorder;
         }
     }
 }