public:
  // Overrides the base class version of setCurrent()
  virtual void setCurrent(FXint panel,FXbool notify);

  // Calls the base class version of setCurrent()
  void _setCurrent(FXint panel,FXbool notify);
