Add a icon which enables the user to save the currently displayed graph as a .dot file in the currently hardcoded ros_home/dotfiles, which should normaly be $HOME/.ros/dotfiles
From there it can be converted with the dot commandline tool into png, pdf or others without the problem of quality loss.
Add a icon which enables the user to save the currently displayed graph as a .dot file in the currently hardcoded ros_home/dotfiles, which should normaly be $HOME/.ros/dotfiles From there it can be converted with the dot commandline tool into png, pdf or others without the problem of quality loss.