[dev] patch -- frameset menu

[Chuck Hagenbuch]

Quoting Jan Schneider <jan at horde.org>:

> Following the whole thread, I'm sort of convinced. The correct solution
> would be to handle PERMS_SHOW and PERMS_READ differently. PERMS_SHOW would
> be used in the menu, PERMS_READ in pushApp(). That allows the granularity
> that might be required in some situations.

Me too - I'll change it back as soon as I have a sec.

-chuck

--
Charles Hagenbuch, <chuck at horde.org>
"Here, I brought some cole slaw. It's made from peeeooople! Just kidding."