Skip to content

Commit 9bfbfa0

Browse files
committed
Change openToolbox to be openWPIToolboxSettings
1 parent 6ed91fc commit 9bfbfa0

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

src/App.tsx

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -379,7 +379,7 @@ const App: React.FC = (): React.JSX.Element => {
379379
gotoTab={setActiveTab}
380380
project={project}
381381
setProject={setProject}
382-
openToolbox= {() => setToolboxSettingsModalIsOpen(true)}
382+
openWPIToolboxSettings={() => setToolboxSettingsModalIsOpen(true)}
383383
/>
384384
</Sider>
385385
<Antd.Layout>

src/reactComponents/Menu.tsx

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,7 @@ export interface MenuProps {
4848
storage: commonStorage.Storage | null;
4949
gotoTab: (tabKey: string) => void;
5050
project: commonStorage.Project | null;
51-
openToolbox: () => void;
51+
openWPIToolboxSettings: () => void;
5252
setProject: (project: commonStorage.Project | null) => void;
5353
}
5454

@@ -250,7 +250,7 @@ export function Component(props: MenuProps): React.JSX.Element {
250250
} else if (key === 'about') {
251251
setAboutDialogVisible(true);
252252
} else if (key === 'wpi_toolbox'){
253-
props.openToolbox();
253+
props.openWPIToolboxSettings();
254254
} else {
255255
// TODO: Handle other menu actions
256256
console.log(`Selected key that wasn't module: ${key}`);

0 commit comments

Comments
 (0)