From 4593a5f71d258da3731f917371b052d76bf3d764 Mon Sep 17 00:00:00 2001
From: VocaluxeBuildBot <noreply@vocaluxe.org>
Date: Sun, 12 Jan 2020 14:35:23 +0000
Subject: [PATCH] Trigger page update after a new publish (triggered by Add
 small text line with key shortcuts to Song Screen, allow some key shortcuts
 while search bar is active [1ea867712b824f0d129ba2f732eeb3b3cbc6dbf1])