Method

IdePagemark_used

Declaration 

void
ide_page_mark_used (
  IdePage* self
)

Description

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.