schedule_pane_update


Description:

public void schedule_pane_update (bool visible)

Schedules a visibility update on the idle queue. The idle callback applies intended_pane_visible.

Parameters:

visible

whether to show or hide the right pane