« Previous | Next » 

Revision 89873960

ID8987396057ae67e92e78ac25647296c7315b3d16
Parent c1ab60b3
Child e0ee90f3

Added by Carlos Martín over 5 years ago

Feature #4215: pre-create VR tooltips, instead of on hover

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences