ui: Graph legend (issue #308, #540)

* Show graph legend via 'legend' command or '?' button in the lower right corner * Legend is not interactive: nodes and edges not clickable or moveable * CXX and Java node types are mixed
2018-07-23 16:55:58 +02:00
parent 83873f4dbf
commit ed0ade034e
42 changed files with 768 additions and 246 deletions
@@ -101,3 +101,8 @@ QPushButton:pressed {
 	max-height: 26px;
 	padding-right: 2px;
 }
+
+#legend_button
+{
+	border-radius: 9px;
+}