Disabling show/hide sup/sub in kontextmenu (not in menubar though)
merged?
added the svg export
added export again
merged with FabianVollmer
gir rm -r jgrapht/