Merge branch 'master' of github.com:KLayout/klayout

This commit is contained in:
Matthias Koefferlein 2022-05-29 14:31:19 +02:00
commit cc45cfbc43
1 changed files with 1 additions and 1 deletions

View File

@ -282,7 +282,7 @@ public:
/**
* @brief Display a status message
*/
void message (const std::string &s = "", int timeout = 10);
virtual void message (const std::string &s = "", int timeout = 10);
/**
* @brief The "dirty" flag indicates that one of the layout has been modified