webots
webots copied to clipboard
Copy PROTO icon when relocating the remote PROTO file
During the PROTO relocation triggered when editing a remote PROTO file the icon is currently not copied. Thus, in the Add Node dialog the local copy doesn't have any icon. Maybe it would be better to also copy the icon file when copying the PROTO file.