I also recall encountering that sort of elevator panel with push on/push off buttons here in Brazil, it was probably in the 80s or 90s (or at most earlier 2000s), but I don't know how old that panel was. I haven't actually used that panel myself, since there was always an elevator operator (ascensorista) on that elevator; and I believe that these elevators have since been upgraded to a modern panel. And yes, I do recall seeing more than once the ascensorista pulling on the buttons to cancel a wrongly set floor.