From e6167b5081432b29924199f2638751ff25c22b8f Mon Sep 17 00:00:00 2001
From: Alex <alex@gu3.me>
Date: Fri, 4 Nov 2022 17:24:49 +0000
Subject: [PATCH] Don't try to access manifest when there isn't one

---
 code/ToolsManager.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/code/ToolsManager.cs b/code/ToolsManager.cs
index e1717a1..3acf699 100644
--- a/code/ToolsManager.cs
+++ b/code/ToolsManager.cs
@@ -114,7 +114,7 @@ private bool PaintPageOption( NavigationView.Option option, Manifest manifest )
 		iconRect.Left = inner.Right - 32;
 		iconRect.Top -= 2;
 
-		if ( manifest.CheckUpdateAvailable() )
+		if ( manifest?.CheckUpdateAvailable() ?? false )
 		{
 			Paint.SetPen( fg );
 			Paint.DrawIcon( iconRect, "update", 14, TextFlag.Center );