Prevent duplication of controls help if shown multiple times in one session

This commit is contained in:
Kovid Goyal 2020-09-25 07:44:35 +05:30
parent e176f58ce8
commit 2967f13297
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -87,6 +87,7 @@ def show_controls_help():
window.setTimeout(focus, 10)
if runtime.is_standalone_viewer:
clear(container)
container.appendChild(E.div(
style='margin: 1rem',
E.div(style='margin-top: 1rem'),