diff --git a/news/1 Enhancements/13656.md b/news/1 Enhancements/13656.md new file mode 100644 index 000000000000..06528acadc27 --- /dev/null +++ b/news/1 Enhancements/13656.md @@ -0,0 +1 @@ +Make Jupyter Server name clickable to select Jupyter server diff --git a/src/datascience-ui/interactive-common/jupyterInfo.tsx b/src/datascience-ui/interactive-common/jupyterInfo.tsx index 03b5b3550384..ec94902757f3 100644 --- a/src/datascience-ui/interactive-common/jupyterInfo.tsx +++ b/src/datascience-ui/interactive-common/jupyterInfo.tsx @@ -33,6 +33,7 @@ export class JupyterInfo extends React.Component { constructor(prop: IJupyterInfoProps) { super(prop); this.selectKernel = this.selectKernel.bind(this); + this.selectServer = this.selectServer.bind(this); } public render() { @@ -59,11 +60,18 @@ export class JupyterInfo extends React.Component { maxWidth: getMaxWidth(displayNameTextSize) }; + const ariaDisabled = this.props.isNotebookTrusted === undefined ? false : this.props.isNotebookTrusted; return (
{this.renderTrustMessage()} -
-
+
+
{getLocString('DataScience.jupyterServer', 'Jupyter Server')}: {jupyterServerDisplayName}
{ return res[1]; } + + private selectServer(): void { + this.props.selectServer(); + } }