Bug 571831 - Modernized help UI: in a search link ' ' must not become +

Avoid accidentally turning spaces (' ') into plus signs ('+') in a
search link. For example, if you bookmark the search "Hello world" in
Infocenter mode, the bookmark should not trigger the search
"Hello+world".

Problem:
In an URL a space can be coded as ' ', '%20' or '+', but the JavaScript
function decodeURIComponent() decodes only '%20' and not '+'.
See: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/decodeURIComponent

Change-Id: I1a332710869d924cab7076ba7aa667a138c46a5f
Signed-off-by: Holger Voormann <eclipse@voormann.de>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ua/+/179611
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Wim Jongman <wim.jongman@remainsoftware.com>
1 file changed