IdeCommands extension

Registers the :ide full-screen editor command on a LocalCommandRegistry.

:ide needs a real terminal and local filesystem access (dart:io), so — like the file-transfer commands — it is kept out of the browser-safe default set and added explicitly by native embedders: LocalCommandRegistry.withDefaults()..addIdeCommand().

on

• LocalCommandRegistry

Methods

addIdeCommand() → void

Available on LocalCommandRegistry, provided by the IdeCommands extension

Adds the :ide command (alias :edit) to this registry.