Skip to content

Commit

Permalink
Update pyright after change. Re-order settings dialog
Browse files Browse the repository at this point in the history
  • Loading branch information
microbit-robert committed May 8, 2024
1 parent 36c4e84 commit a1ea4ef
Show file tree
Hide file tree
Showing 5 changed files with 11 additions and 23 deletions.
3 changes: 0 additions & 3 deletions public/workers/pyright-main-981c1a727b5c018e10b0.worker.js

This file was deleted.

This file was deleted.

This file was deleted.

2 changes: 1 addition & 1 deletion src/language-server/pyright.ts
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ import { baseUrl } from "../base";
import { createUri, LanguageServerClient } from "./client";

// This is modified by bin/update-pyright.sh
const workerScriptName = "pyright-main-981c1a727b5c018e10b0.worker.js";
const workerScriptName = "pyright-main-eefccf86f9221bbfd3ce.worker.js";

// Very simple cache to avoid React re-creating pointlessly in development.
let counter = 0;
Expand Down
20 changes: 10 additions & 10 deletions src/settings/SettingsArea.tsx
Original file line number Diff line number Diff line change
Expand Up @@ -123,36 +123,36 @@ const SettingsArea = () => {
/>
<FormControl>
<Checkbox
id="allow-editing"
isChecked={settings.allowEditingThirdPartyModules}
id="V2-features"
isChecked={settings.warnOnV2OnlyFeatures}
onChange={(event) => {
setSettings({
...settings,
allowEditingThirdPartyModules: event.currentTarget.checked,
warnOnV2OnlyFeatures: event.currentTarget.checked,
});
}}
>
<FormattedMessage id="setting-allow-editing-third-party" />
<FormattedMessage id="setting-warn-on-v2-only-features" />
</Checkbox>
<FormHelperText color="gray.700">
<FormattedMessage id="setting-allow-editing-third-party-info" />
<FormattedMessage id="setting-warn-on-v2-only-features-info" />
</FormHelperText>
</FormControl>
<FormControl>
<Checkbox
id="V2-features"
isChecked={settings.warnOnV2OnlyFeatures}
id="allow-editing"
isChecked={settings.allowEditingThirdPartyModules}
onChange={(event) => {
setSettings({
...settings,
warnOnV2OnlyFeatures: event.currentTarget.checked,
allowEditingThirdPartyModules: event.currentTarget.checked,
});
}}
>
<FormattedMessage id="setting-warn-on-v2-only-features" />
<FormattedMessage id="setting-allow-editing-third-party" />
</Checkbox>
<FormHelperText color="gray.700">
<FormattedMessage id="setting-warn-on-v2-only-features-info" />
<FormattedMessage id="setting-allow-editing-third-party-info" />
</FormHelperText>
</FormControl>
</VStack>
Expand Down

0 comments on commit a1ea4ef

Please sign in to comment.