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