Mon, 19 Jan 2015 16:38:01 +0100 | wenzelm | clarified edge_color; | changeset | files |
Mon, 19 Jan 2015 16:31:04 +0100 | wenzelm | proper tooltips -- override action toolTip which is empty here; | changeset | files |
Mon, 19 Jan 2015 11:37:53 +0100 | wenzelm | no document here; | changeset | files |