API Version: 48
Library Version: 48
Generated by gi-docgen 2025.4
void ide_page_mark_used ( IdePage* self )
This function marks the page as used by updating it’s position in the workspaces MRU (most-recently-used) queue.
Pages should call this when their contents have been focused.