index 3245241a2ae241e11a07ff86d3e5ebb186b64dec..c7666fddff52ffb86e498d1299977eb3bb6f2fb1 100644 (file)
function execute()
{
+ /* Ensure that the currently selected tab is valid. */
+ if(!isset($this->by_name[$this->current])) $this->current = key($this->by_name);
+
/* Rotate current to last */
$this->last= $this->current;