Resolve MapInfo 12.5: Navigation tools from main toolbar not working

Product Affected: MapInfo Pro


Clicking the navigation tools in the MapInfo Pro main toolbar does not work. Just nothing happens and no error is thrown. All other tools in the same toolbar work properly. Affected tools are: 
  • zoom-in
  • zoom-out
  • the grabber
  • info button 




UPDATED: December 6, 2019
The resolution for this is more a workaround. The customer has also MapInfo pro 15 installed on his machine. Switching to 15.0 for a while, it somehow got back to normal again and he could used all tools in 12.5 as well.
There is currently no explanation for this available yet.