Menu animation

Is there any value available in menu.ml or patch to disable the menu animation?

you can use the same icon for selected and unselected then you won't have an animation. you can also change the higlight in your theme with an 1x1 transparent png image