theia-server-proxy-extension v0.0.21

Theia Server Proxy Extension

This extension provides the ability for users to embed web based applications within a theia tab

This extension does nothing by itself. It provides contribution points for other extensions to provide the applications.

Definitions

Common

ServerProxy - Definition of the a server proxy. Used to create server proxy instances

Backend

• ServerProxyInstance* - A single instance of a server proxy