diff options
| author | partouf <partouf@gmail.com> | 2023-10-27 22:56:54 +0200 |
|---|---|---|
| committer | partouf <partouf@gmail.com> | 2023-10-27 22:56:54 +0200 |
| commit | e52a15b8c098181dd1dac147c17ea44441996df0 (patch) | |
| tree | 6386e8d7f9090ff0d0bd6611d29d184030bddd07 | |
| parent | 24a0cba5f854f33a6e88bf163e5165f9c3aeb12e (diff) | |
| download | compiler-explorer-gh-9259.tar.gz compiler-explorer-gh-9259.zip | |
bugfixgh-9259
| -rw-r--r-- | static/widgets/runtime-tools.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/static/widgets/runtime-tools.ts b/static/widgets/runtime-tools.ts index cff294b08..d0e693779 100644 --- a/static/widgets/runtime-tools.ts +++ b/static/widgets/runtime-tools.ts @@ -190,7 +190,7 @@ export class RuntimeToolsWidget { private newFavoriteOverrideDiv(fave: FavRuntimeTool) { const div = $('#overrides-favorite-tpl').children().clone(); const prefix = fave.name + ': '; - div.find('.overrides-name').html(prefix + fave.options.replace('\n', ',')); + div.find('.overrides-name').html(prefix + fave.options.replace(/\n/g, ', ')); div.data('ov-name', fave.name); div.data('ov-options', fave.options); div.on('click', this.selectOverrideFromFave.bind(this)); |