Many thanks.
Here is the rather massive PR for the renaming of tools and menus for the Wiki:
PR 2694
Please have a look and directly modify my PR if you see issues. (I set in GitHub that you can modify my PR.)
Many thanks.
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.wandererfan wrote: ↑Tue Nov 05, 2019 12:12 am I won't have much time for review until Wednesday, but a quick peek looks good.
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.wandererfan wrote: ↑Sun Nov 17, 2019 2:09 pm I merged the one with the conflicts resolved. I think it was up to date with yours, but please check.
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.uwestoehr wrote: ↑Sun Nov 24, 2019 10:20 pmCode: Select all
Unhandled std::exception caught in GUIApplication::notify. The error message is: Access violation - no RTTI data!