Skip to content

Allow adding custom platform services#245

Open
bommbomm34 wants to merge 1 commit intokshivang:devfrom
bommbomm34:feature/add-custom-platform-services
Open

Allow adding custom platform services#245
bommbomm34 wants to merge 1 commit intokshivang:devfrom
bommbomm34:feature/add-custom-platform-services

Conversation

@bommbomm34
Copy link

Changes

  • Change public API (non-breaking)
  • Allow using a custom platform service in TabbedTerminal and EmbeddableTerminal
  • Update docs accordingly

This change allows adding custom I/O handling (e.g. sending commands to a remote server with a custom protocol). This is especially useful for custom remote server protocols. JediTerm enables this by allowing adding a custom TtyConnector. This pull request enables this by allowing adding a custom PlatformServices.

- Change public API (non-breaking)
- Allow using a custom platform service in TabbedTerminal and EmbeddableTerminal
- Update docs accordingly
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments