Code Editor : gedit-plugins-quick-open.page