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() |