Definition at line 32 of file editors.py.
◆ __init__()
| def robotide.editor.editors.WelcomePage.__init__ |
( |
|
self, |
|
|
|
parent |
|
) |
| |
◆ close()
| def robotide.editor.editors.WelcomePage.close |
( |
|
self | ) |
|
◆ destroy()
| def robotide.editor.editors.WelcomePage.destroy |
( |
|
self | ) |
|
◆ show_content_assist
| robotide.editor.editors.WelcomePage.show_content_assist |
|
static |
◆ tree_item_selected
| robotide.editor.editors.WelcomePage.tree_item_selected |
|
static |
◆ undo
| robotide.editor.editors.WelcomePage.undo = save \ |
|
static |
The documentation for this class was generated from the following file: