On 09/13/2015 04:02 AM, Georg Baum wrote:
commit acb09a3efdedc997ddbe4c174eec48cedf9f0ad7 Author: Georg Baum <b...@lyx.org> Date: Fri Sep 11 23:04:59 2015 +0200Make destructor virtualBase classes with virtual methods should have a virtual destructor.See Scott Meyers, Effective C++ item 7: Declare destructors virtual in polymorphic base classes.
Yes, sorry, I know better. Richard