On Fri, Sep 30, 2011 at 3:22 PM, Robin Lee <email address hidden> wrote:
> If user chooses page directly in the index tree, then I don't think > this kind of jump is reasonable. >
True, but not trivial to check in the code - when the page is selected in the index there is no information anymore about the source of the event.
-- Jaap
On Fri, Sep 30, 2011 at 3:22 PM, Robin Lee <email address hidden> wrote:
> If user chooses page directly in the index tree, then I don't think
> this kind of jump is reasonable.
>
True, but not trivial to check in the code - when the page is selected in
the index there is no information anymore about the source of the event.
-- Jaap