()
| 1778 | } |
| 1779 | |
| 1780 | function requireRemoteWorkspaceClient(): RemoteServerClient { |
| 1781 | if (!isRemoteWorkspaceActive() || !remoteWorkspaceClient) { |
| 1782 | throw new Error('No remote workspace is connected') |
| 1783 | } |
| 1784 | return remoteWorkspaceClient |
| 1785 | } |
| 1786 | |
| 1787 | /** |
| 1788 | * Enumerate installed font families for the font picker. |
no test coverage detected