Drop unnecessary fields in TabletInputRedirection
They are not strictly needed, also it seems like the value of "button" is incorrectly initialized when processing a tip down event.
They are not strictly needed, also it seems like the value of "button" is incorrectly initialized when processing a tip down event.