Rename developerSettingsTab to developerMode for consistency (#2889)

This commit is contained in:
Hugh Nimmo-Smith
2024-12-11 14:30:16 +00:00
committed by GitHub
parent b834d8f679
commit 6c81f69590
3 changed files with 7 additions and 12 deletions

View File

@@ -23,7 +23,7 @@ import { widget } from "../widget";
import {
useSetting,
soundEffectVolumeSetting,
developerSettingsTab,
developerMode,
} from "./settings";
import { isFirefox } from "../Platform";
import { PreferencesSettingsTab } from "./PreferencesSettingsTab";
@@ -66,7 +66,7 @@ export const SettingsModal: FC<Props> = ({
const [soundVolume, setSoundVolume] = useSetting(soundEffectVolumeSetting);
const [soundVolumeRaw, setSoundVolumeRaw] = useState(soundVolume);
const [showDeveloperSettingsTab] = useSetting(developerSettingsTab);
const [showDeveloperSettingsTab] = useSetting(developerMode);
const audioTab: Tab<SettingsTab> = {
key: "audio",