Level of real terminal can be edited

The level of each real terminal who compose a physical terminal can be
edited. Several real terminal can be edited in one shot.

sources/TerminalStrip/ui/terminalstripeditor.h

@@ -62,6 +62,7 @@ class TerminalStripEditor : public QDialog
 		void on_m_auto_ordering_pb_clicked();
 		void on_m_group_terminals_pb_clicked();
 		void on_m_ungroup_pb_clicked();
+		void on_m_level_sb_valueChanged(int arg1);
 
 	private:
 		Ui::TerminalStripEditor *ui;