diff --git a/lib/helpview.gd b/lib/helpview.gd index 47b32c0185..71f9af81b0 100644 --- a/lib/helpview.gd +++ b/lib/helpview.gd @@ -34,7 +34,11 @@ ## ## ## <#/GAPDoc> -BindGlobal("HELP_VIEWER_INFO", rec()); +if IsHPCGAP then + BindGlobal("HELP_VIEWER_INFO", AtomicRecord()); +else + BindGlobal("HELP_VIEWER_INFO", rec()); +fi; DeclareGlobalFunction("FindWindowId"); DeclareGlobalFunction("SetHelpViewer"); diff --git a/lib/helpview.gi b/lib/helpview.gi index 055a4f1717..f16d8e7b48 100644 --- a/lib/helpview.gi +++ b/lib/helpview.gi @@ -432,10 +432,6 @@ show := function(file) end ); -if IsHPCGAP then - MakeReadOnlyObj(HELP_VIEWER_INFO); -fi; - ############################################################################# ## #F SetHelpViewer(): Set the viewer used for help