Add more token details to JavaUI

[GoogleCodeExporter]

When I'm trying to understand what the planner did, I sometimes need to see the 
values of various token variables.   When I hover over the token in the Gantt 
Chart view, I see name, start, end, and duration.  Other things that would be 
useful:

 - Predicate type
 - Object type (the object name is on the left, but not the type)
 - Any user-defined variables in the predicate, and their domains and/or values
 - Master token
 - Slave tokens?

Rather than adding too much to the hover output, I'd vote for a separate View 
that can be shown beside the Gantt Chart and shows details for a token when you 
click on it in the Gantt chart (this is what Spife does, and it works fairly 
well).

A second level of cool features would be:

 - if I click on master or slave tokens, I can see them highlighted in the Gantt chart and/or brought up in this view.
 - is there a useful way to show all the constraints on a token?

Original issue reported on code.google.com by tristanb...@gmail.com on 4 Mar 2011 at 9:51

[GoogleCodeExporter]

NOTE:  Javier mentioned that he thought functionality was in place for more 
details to be shown when hovering, but I haven't looked to see what he meant.

Original comment by tristanb...@gmail.com on 4 Mar 2011 at 10:16

[GoogleCodeExporter]

I'm hoping to take a first pass at this.  I'll probably want some 
comments/suggestions regarding my design decisions when done.

Original comment by tristanb...@gmail.com on 17 Mar 2011 at 4:04

[GoogleCodeExporter]

Details view added in r6282.

Original comment by tristanb...@gmail.com on 30 Mar 2011 at 7:35

• Changed state: Fixed