Please allow the anti-alias mode in the various graphs to be
- either toggle-able (through a button on the graph toolbar)
- of perhaps even better, make it a global option somewhere
In addition, the current anti-aliasing make many elements look a bit fuzzy.
The anti-aliasing option should apply to both text as well as nodes/edges.
When looking at larger graphs (and having a large area of the screen assigned to the graph pane) this will really improve speed of graph navigation / scrolling.