# File lib/extras/as_menu.rb, line 38
        def mouse_moved
                new = get_button_under
                if new!=@button_under
                        @button_under.mouse_exit if @button_under
                        new.mouse_enter if new
                        @button_under = new
                end
        end