Index: /trunk/FACT++/src/Readline.cc
===================================================================
--- /trunk/FACT++/src/Readline.cc	(revision 13648)
+++ /trunk/FACT++/src/Readline.cc	(revision 13649)
@@ -70,5 +70,6 @@
 using namespace std;
 
-Readline *Readline::This = 0;
+Readline *Readline::This   =  0;
+int       Readline::fLabel = -1;
 
 // --------------------------------------------------------------------------
@@ -96,5 +97,5 @@
 //
 Readline::Readline(const char *prgname) :
-    fMaxLines(500), fLine(0), fLabel(-1), fCompletion(0)
+    fMaxLines(500), fLine(0), fCompletion(0)
 {
     if (This)
@@ -1003,5 +1004,8 @@
     if (str[0]==':')
     {
-        if (fLabel!=atoi(str.substr(1).c_str()))
+        const int section = atoi(str.substr(1).c_str());
+        SetSection(section);
+
+        if (fLabel!=section)
             return true;
 
@@ -1216,5 +1220,5 @@
 //!
 //! @returns
-//!    -1 if the file couldn't be read and the number of command for which
+//!    -1 if the file couldn't be read and the number of commands for which
 //!    Process() was callled otherwise
 //!
@@ -1224,4 +1228,5 @@
         return 0;
 
+    SetSection(-1);
     fLabel = -1;
 
@@ -1265,4 +1270,5 @@
 
     fLabel = -1;
+    SetSection(-1);
 
     fCommandLog << "# " << Time() << " - " << name << " (FINISHED)" << endl;
Index: /trunk/FACT++/src/Readline.h
===================================================================
--- /trunk/FACT++/src/Readline.h	(revision 13648)
+++ /trunk/FACT++/src/Readline.h	(revision 13649)
@@ -26,5 +26,5 @@
 
     int fLine;
-    int fLabel;
+    static int fLabel;
 
     // Static member function which are used to adapt readline to ncurses
@@ -56,5 +56,5 @@
     char **Complete(const std::vector<std::string> &v, const char *text);
 
-    void SetLabel(int l) { fLabel = l; }
+    virtual void SetSection(int) { }
 
 public:
@@ -98,4 +98,5 @@
     bool         IsStopped() const;
     void         ProcessLine(const std::string &str);
+    static  void SetLabel(int l) { fLabel = l; }
 
     int GetLine() const { return fLine; }