+ // static WxConsole* GetInstance() { return mInstance; }
+
+ /// Returns the Interpreter used
+ /// ONLY ONE FOR THE MOMENT BUT IN THE FUTURE CAN BE DIFFERENT
+ /// (DIFFERENT WORKSPACES)
+ Interpreter* GetInterpreter() { return mInterpreter; }
+ /// Returns the Interpreter used (const)
+ const Interpreter* GetInterpreter() const { return mInterpreter; }