From fe4b8566792f8ba7f78ddf5b5e1f99e35162e702 Mon Sep 17 00:00:00 2001
From: Lex Lim <hyperzlib@outlook.com>
Date: Tue, 7 Feb 2023 14:31:20 +0800
Subject: [PATCH] Disable header auto hide in app

---
 public/persona.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/public/persona.js b/public/persona.js
index 94ccf2d..8de7f32 100644
--- a/public/persona.js
+++ b/public/persona.js
@@ -39,6 +39,12 @@ $(document).ready(function () {
 			return;
 		}
 
+		// Donot hide header menu in mobile app
+		const headerEl = document.getElementById('header-menu');
+		if (headerEl.classList.contains('ignore-hide')) {
+			return;
+		}
+
 		require(['hooks', 'storage'], (hooks, Storage) => {
 			let preference = ['xs', 'sm'];