voideditor/void
1
0
Fork 0
mirror of https://github.com/voideditor/void.git synced 2026-10-12 02:24:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

rename

Browse Source
This commit is contained in:
Andrew Pareles
2025-05-21 19:47:47 -07:00
parent 9072668be3
commit 55691624dd
3 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/vs/workbench/contrib/void/browser/react/src/void-settings-tsx/MCPServersList.tsx
+1 -1
View File
@@ -22,7 +22,7 @@ const MCPServer = ({ name, server }: { name: string, server: MCPServerObject })
const handleChangeEvent = (e: boolean) => {
// Handle the change event
mcpService.toggleServer(name, e);
mcpService.toggleMCPServer(name, e);
}
return (
src/vs/workbench/contrib/void/common/mcpService.ts
+3 -3
View File
@@ -31,7 +31,7 @@ type MCPState = {
export interface IMCPService {
readonly _serviceBrand: undefined;
revealMCPConfigFile(): Promise<void>;
toggleServer(serverName: string, isOn: boolean): Promise<void>;
toggleMCPServer(serverName: string, isOn: boolean): Promise<void>;
getMCPToolFns(): {
callTool: MCPCallTool;
resultToString: MCPToolResultToString
@@ -248,8 +248,8 @@ class MCPService extends Disposable implements IMCPService {
}
// toggle MCP server and update isOn in void settings
public async toggleServer(serverName: string, isOn: boolean): Promise<void> {
this.channel.call('toggleServer', { serverName, isOn })
public async toggleMCPServer(serverName: string, isOn: boolean): Promise<void> {
this.channel.call('toggleMCPServer', { serverName, isOn })
await this.voidSettingsService.setMCPServerState(serverName, { isOn });
}
src/vs/workbench/contrib/void/electron-main/mcpChannel.ts
+3 -3
View File
@@ -100,8 +100,8 @@ export class MCPChannel implements IServerChannel {
else if (command === 'closeAllMCPServers') {
await this._closeAllMCPServers()
}
else if (command === 'toggleServer') {
await this._toggleServer(params.serverName, params.isOn)
else if (command === 'toggleMCPServer') {
await this._toggleMCPServer(params.serverName, params.isOn)
}
else if (command === 'callTool') {
const response = await this._safeCallTool(params.serverName, params.toolName, params.params)
@@ -345,7 +345,7 @@ export class MCPChannel implements IServerChannel {
}
}
private async _toggleServer(serverName: string, isOn: boolean) {
private async _toggleMCPServer(serverName: string, isOn: boolean) {
const prevServer = this.clients[serverName]?.formattedServer
if (isOn) {
// Handle turning on the server