I found a little bug in panels_node.module. At line 34,
if ($node && $node->type == 'panel' && node_access($node, 'update')) {
should be
if ($node && $node->type == 'panel' && node_access('update', $node)) {
This implied that the panel options tabs didn't show up even if you had proper access.

Comments

merlinofchaos’s picture

merlinofchaos commented
Status: Active » Fixed

Thanks!

Fix committed, will go out in alpha8.

Anonymous’s picture

(not verified) commented
Status: Fixed » Closed (fixed)