Render only Edges between nodes with the specific node_key and put colors back
to the result.
Invert the annotation level and the token level.
Handle rst trees with rst nodes as roots.
Leave enough space in the canvas for rst edges at the top of the rst tree.
Only add additional height to the canvas, if the root has a satellite among the
children.
Merge branch 'rst'
add kickstarter start script for mac
Always initialize global fields in the servlets with the writeOutput method or
mysterious things will happen and maybe you get insane.
Thrown away the whole token level stuff, since this causes only problems and no
benefit. Fixes #66
Merge branch 'dependency'
benchmark: use median instead of average and also include the ranom runs in the min/max calculation
benchmark: output right number of runs (since we count both sequential and random from now)
fixing BinaryServlet which did not find the service URL (was moved)
try to place the labels closer
try to use mappings for configuring rst
add scroll buttons
fixing the worst time CSV output of the benchmark
Added Vaadin Addon CSS Tools for getting the actual width of the rstView
component.
Added some styles to the rst navigate buttons.
Disable rst scroll buttons when left or right border is reached.