|
8.
|
|
|
graph name here
|
|
|
i18n: file: Interface/GraphPropertiesWidget.ui:52
i18n: ectx: property (text), widget (QRadioButton, _activateGraph)
|
|
|
|
(no translation yet)
|
|
|
|
Located in
rc.cpp:161
|
|
13.
|
|
|
Node Color:
|
|
|
i18n: file: Interface/GraphPropertiesWidget.ui:115
i18n: ectx: property (text), widget (QLabel, label_2)
|
|
|
|
(no translation yet)
|
|
|
|
Located in
rc.cpp:179
|
|
18.
|
|
|
Edge Color:
|
|
|
i18n: file: Interface/GraphPropertiesWidget.ui:151
i18n: ectx: property (text), widget (QLabel, label_3)
|
|
|
|
(no translation yet)
|
|
|
|
Located in
rc.cpp:194
|
|
22.
|
|
|
Oriented graph
|
|
|
|
(no translation yet)
|
|
|
|
23.
|
|
|
Enabling this button will make the graph oriented.
|
|
|
|
(no translation yet)
|
|
|
|
25.
|
|
|
Automaton Graph
|
|
|
|
(no translation yet)
|
|
|
|
26.
|
|
|
Enabling this button will make the graph an automaton graph.
|
|
|
|
(no translation yet)
|
|
|
|
27.
|
|
|
Show all nodes' names
|
|
|
i18n: file: Interface/GraphPropertiesWidget.ui:224
i18n: ectx: property (toolTip), widget (QToolButton, _showNodeNames)
|
|
|
|
(no translation yet)
|
|
|
|
Located in
rc.cpp:86
|
|
28.
|
|
|
Enabling this button will show the names of all nodes.
|
|
|
|
(no translation yet)
|
|
|
|
29.
|
|
|
Show all edges' names
|
|
|
|
(no translation yet)
|
|
|