Theia API Documentation v1.73.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/terminal
browser/terminal-frontend-contribution
TerminalCommands
Namespace TerminalCommands
Variables
COPY_TERMINAL_SELECTION
KILL_TERMINAL
NEW
NEW_ACTIVE_WORKSPACE
PASTE_TERMINAL
PROFILE_DEFAULT
PROFILE_NEW
SCROLL_LINE_DOWN
SCROLL_LINE_UP
SCROLL_PAGE_DOWN
SCROLL_PAGE_UP
SCROLL_TO_TOP
SELECT_ALL
SHOW_ALL_OPENED_TERMINALS
SPLIT
TERMINAL_CATEGORY
TERMINAL_CATEGORY_KEY
TERMINAL_CLEAR
TERMINAL_CONTEXT
TERMINAL_FIND_TEXT
TERMINAL_FIND_TEXT_CANCEL
TOGGLE_TERMINAL
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Variables
COPY_
TERMINAL_
SELECTION
KILL_
TERMINAL
NEW
NEW_
ACTIVE_
WORKSPACE
PASTE_
TERMINAL
PROFILE_
DEFAULT
PROFILE_
NEW
SCROLL_
LINE_
DOWN
SCROLL_
LINE_
UP
SCROLL_
PAGE_
DOWN
SCROLL_
PAGE_
UP
SCROLL_
TO_
TOP
SELECT_
ALL
SHOW_
ALL_
OPENED_
TERMINALS
SPLIT
TERMINAL_
CATEGORY
TERMINAL_
CATEGORY_
KEY
TERMINAL_
CLEAR
TERMINAL_
CONTEXT
TERMINAL_
FIND_
TEXT
TERMINAL_
FIND_
TEXT_
CANCEL
TOGGLE_
TERMINAL
Eclipse Theia Website
GitHub
Theia API Documentation v1.73.0
Loading...