Work around another Mono bug

Zekka · Jul 8, 2018 · bbbd69a · bbbd69a
1 parent 6ee142d
commit bbbd69a
Showing 1 changed file with 12 additions and 3 deletions.
diff --git a/Labyrinth3/IDE/Controls/RTFPanel.cs b/Labyrinth3/IDE/Controls/RTFPanel.cs
@@ -273,9 +273,18 @@ public void UpdateUI()
                 this.StrikeBtn.Pushed = this.ContentBox.SelectionFont.Strikeout;
             }
             this.BulletBtn.Pushed = this.ContentBox.SelectionBullet;
-            this.LeftBtn.Pushed = this.ContentBox.SelectionAlignment == HorizontalAlignment.Left;
-            this.CentreBtn.Pushed = this.ContentBox.SelectionAlignment == HorizontalAlignment.Center;
-            this.RightBtn.Pushed = this.ContentBox.SelectionAlignment == HorizontalAlignment.Right;
+            try
+            {
+                this.LeftBtn.Pushed = this.ContentBox.SelectionAlignment == HorizontalAlignment.Left;
+                this.CentreBtn.Pushed = this.ContentBox.SelectionAlignment == HorizontalAlignment.Center;
+                this.RightBtn.Pushed = this.ContentBox.SelectionAlignment == HorizontalAlignment.Right;
+            }
+            catch (NullReferenceException e)
+            { // this feature is bugged in Mono so pick a default
+                this.LeftBtn.Pushed = true;
+                this.CentreBtn.Pushed = false;
+                this.RightBtn.Pushed = false;
+            }
             this.UnindentBtn.Enabled = this.ContentBox.SelectionIndent > 0;
             this.IndentBtn.Enabled = true;
         }