troeger / fuzzed

The Open Reliability Editor (ORE) for dependability modeling and analysis.
https://live.ore-project.org
21 stars 9 forks source link

Support display settings in editor #62

Open cwerling opened 10 years ago

cwerling commented 10 years ago

The display settings dialogue, similar to the one in MacOS Finder, should allow to configure the visibility of property mirrors. The setting is expected to be saved per graph.

The grid visibility setting could also move into this window.

The graph type configuration should support to define a default for the mirror visibility.