File tree Expand file tree Collapse file tree 2 files changed +6
-7
lines changed
extensions/ql-vscode/src/view Expand file tree Collapse file tree 2 files changed +6
-7
lines changed Original file line number Diff line number Diff line change 11import { useCallback , useEffect , useMemo , useState } from "react" ;
22import type { ToModelEditorMessage } from "../../common/interface-types" ;
3- import { VSCodeCheckbox , VSCodeTag } from "@vscode/webview-ui-toolkit/react" ;
3+ import { VSCodeTag } from "@vscode/webview-ui-toolkit/react" ;
4+ import { VscodeButton , VscodeCheckbox } from "@vscode-elements/react-elements" ;
45import { styled } from "styled-components" ;
56import type { Method } from "../../model-editor/method" ;
67import type { ModeledMethod } from "../../model-editor/modeled-method" ;
@@ -18,7 +19,6 @@ import type { AccessPathSuggestionOptions } from "../../model-editor/suggestions
1819import type { ModelEvaluationRunState } from "../../model-editor/shared/model-evaluation-run-state" ;
1920import { ModelEvaluation } from "./ModelEvaluation" ;
2021import { useMessageFromExtension } from "../common/useMessageFromExtension" ;
21- import { VscodeButton } from "@vscode-elements/react-elements" ;
2222
2323const LoadingContainer = styled . div `
2424 text-align: center;
@@ -367,12 +367,12 @@ export function ModelEditor({
367367 </ HeaderColumn >
368368 < HeaderSpacer />
369369 < HeaderColumn >
370- < VSCodeCheckbox
370+ < VscodeCheckbox
371371 checked = { hideModeledMethods }
372372 onChange = { onHideModeledMethods }
373373 >
374374 Hide modeled methods
375- </ VSCodeCheckbox >
375+ </ VscodeCheckbox >
376376 </ HeaderColumn >
377377 </ HeaderContainer >
378378
Original file line number Diff line number Diff line change 11import type { ChangeEvent } from "react" ;
22import { useCallback , useEffect , useState } from "react" ;
33import { styled } from "styled-components" ;
4- import { VSCodeCheckbox } from "@vscode/webview-ui-toolkit/react" ;
5- import { VscodeBadge } from "@vscode-elements/react-elements" ;
4+ import { VscodeBadge , VscodeCheckbox } from "@vscode-elements/react-elements" ;
65import type { VariantAnalysisScannedRepositoryState } from "../../variant-analysis/shared/variant-analysis" ;
76import {
87 isCompletedAnalysisRepoStatus ,
@@ -255,7 +254,7 @@ export const RepoRow = ({
255254 disabled = { disabled }
256255 aria-expanded = { isExpanded }
257256 >
258- < VSCodeCheckbox
257+ < VscodeCheckbox
259258 onChange = { onChangeCheckbox }
260259 onClick = { onClickCheckbox }
261260 checked = { selected }
You can’t perform that action at this time.
0 commit comments