Here is the rather massive PR for the renaming of tools and menus for the Wiki:
Please have a look and directly modify my PR if you see issues. (I set in GitHub that you can modify my PR.)
I will now be away until Thursday evening. And there is also no hurry. I hope I introduced no troubles, therefore i propose to keep the PR open for a week for proper testing. I also guess that others might like to change a further name are are not confident with a name change. So they have 1 week time to comment.
Hi wandererfan, can you consider to merge my commit? I think it is stable enough and as soon as it is merged, we can fine-tune more tooltiops et.
Yes, I can confirm with today's master and added it to the list:
Many thanks. Everything looks correct.
Code: Select all
Unhandled std::exception caught in GUIApplication::notify. The error message is: Access violation - no RTTI data!
Run Time Type Information would probably involve a dynamic_cast.