Property
IdeEditorPage:auto-hide-map
Description
No description available.
Type: | gboolean |
Setter method | ide_editor_page_set_auto_hide_map() |
Getter method | ide_editor_page_get_auto_hide_map() |
Type: | gboolean |
Setter method | ide_editor_page_set_auto_hide_map() |
Getter method | ide_editor_page_get_auto_hide_map() |