|
10.
|
|
|
Delete the current active graph: delete all nodes and edges
|
|
|
i18n: file: Interface/GraphPropertiesWidget.ui:62
i18n: ectx: property (whatsThis), widget (KPushButton, _graphDelete)
|
|
|
|
(no translation yet)
|
|
|
|
Located in
rc.cpp:155
|
|
25.
|
|
|
Automaton Graph
|
|
|
|
(no translation yet)
|
|
|
|
26.
|
|
|
Enabling this button will make the graph an automaton graph.
|
|
|
|
(no translation yet)
|
|
|
|
28.
|
|
|
Enabling this button will show the names of all nodes.
|
|
|
|
(no translation yet)
|
|
|
|
30.
|
|
|
Enabling this button will show the names of all edges.
|
|
|
|
(no translation yet)
|
|
|
|
32.
|
|
|
Enabling this button will show the values of all nodes.
|
|
|
|
(no translation yet)
|
|
|
|
34.
|
|
|
Enabling this button will show the values of edges.
|
|
|
|
(no translation yet)
|
|
|
|
45.
|
|
|
Is begin
|
|
|
represents a space character.
Enter a space in the equivalent position in the translation.
|
|
|
|
(no translation yet)
|
|
|
|
46.
|
|
|
Is End
|
|
|
represents a space character.
Enter a space in the equivalent position in the translation.
|
|
|
|
(no translation yet)
|
|
|
|
70.
|
|
|
Show/add edge value
|
|
|
i18n: file: Interface/EdgePropertiesWidget.ui:156
i18n: ectx: property (toolTip), widget (KPushButton, _showValue)
|
|
|
|
(no translation yet)
|
|
|
|
Located in
rc.cpp:131
|