On the alsdev Spy Panel, dropped one of the refresh buttons, changed the remaining one to have only text "Refresh", and to call refresh_spy_win.
On the alsdev Spy Panel, dropped one of the refresh buttons, changed the remaining one to have only text "Refresh", and to call refresh_spy_win.

AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog,AppliedLogicSystems/ALSProlog