Don't insert node/edge properties which are the same as the default values
t-b opened this issue · 1 comments
t-b commented
I came here from https://forum.graphviz.org/t/optimizing-dot-files-by-removing-redundant-information/603/3.
Thanks for this app. This looks really nice already!
the default node and edge settings from the dot code are not used for populating the "node format" and "edge format" dialogs.
magjac commented
Thanks for the feedback 🙂.
I haven't thought of that as a possibility. The configuration made in these dialogs are saved with the application, not with the graph, so they persist when loading a new graph. I can imagine a feature in the dialogs where the user can chose to update them to the graph defaults, but I don't think the application should do it automatically.