Property
IdeTerminalPage:launcher
Description
No description available.
Type: | IdeTerminalLauncher |
Getter method | ide_terminal_page_get_launcher() |
Setter method | ide_terminal_page_set_launcher() |
Type: | IdeTerminalLauncher |
Getter method | ide_terminal_page_get_launcher() |
Setter method | ide_terminal_page_set_launcher() |