Summary
- Some minor cleaning up. (details)
- GraphPanel widget: some work on making it possible to export a graph (details)
- Some minor cleaning up. (details)
- GraphPanel widget: can now export a graph panel to various formats (e.g. (details)
- GraphPanel widget: can now export a graph panel to various formats (e.g. (details)
- Slight update to our downloads and what is new pages (#1123). (details)
- Some minor cleaning up. (details)