GraphPropertiesWidget 0 0 272 162 0 0 10000 10000 0 QLayout::SetNoConstraint 0 0 QLayout::SetMinimumSize 0 0 graph name here Delete the active graph Delete the current active graph: delete all nodes and edges x 16777215 400 0 0 Name: Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter Node Color: Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter 0 0 Color for new nodes Apply the current color to all nodes Apply the current color to all nodes on the drawing area All Edge Color: Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter 0 0 Color for new edges Apply the current color to all edges Apply the current color to all edges on the drawing area All 0 Qt::Horizontal 40 20 Oriented graph Enabling this button will make the graph oriented. ... true Automaton Graph Enabling this button will make the graph an automaton graph. ... true Show all nodes' names Enabling this button will show the names of all nodes. ... true Show all edges' names Enabling this button will show the names of all edges. ... true Show all nodes' values Enabling this button will show the values of all nodes. ... true Show all edges' values Enabling this button will show the values of edges. ... true KButtonGroup QGroupBox

kbuttongroup.h

1 KPushButton QPushButton

kpushbutton.h

KLineEdit QLineEdit

klineedit.h

KColorCombo QComboBox

kcolorcombo.h