Skip to content

Commit

Permalink
Remove profile selection for Katas (#1881)
Browse files Browse the repository at this point in the history
Resolves #1843
  • Loading branch information
JPark1023 authored Aug 26, 2024
1 parent ce8303b commit d5f0fbc
Showing 1 changed file with 10 additions and 8 deletions.
18 changes: 10 additions & 8 deletions playground/src/editor.tsx
Original file line number Diff line number Diff line change
Expand Up @@ -448,14 +448,16 @@ export function Editor(props: {
</div>
<div class="code-editor" ref={editorDiv}></div>
<div class="button-row">
<>
<span>Profile</span>
<select value={profile} onChange={profileChanged}>
<option value="unrestricted">Unrestricted</option>
<option value="adaptive_ri">Adaptive RI</option>
<option value="base">Base</option>
</select>
</>
{props.kataSection ? null : (
<>
<span>Profile</span>
<select value={profile} onChange={profileChanged}>
<option value="unrestricted">Unrestricted</option>
<option value="adaptive_ri">Adaptive RI</option>
<option value="base">Base</option>
</select>
</>
)}
{props.showExpr ? (
<>
<span>Start</span>
Expand Down

0 comments on commit d5f0fbc

Please sign in to comment.