Override default keyboard shortcuts for keys used to control the agent. c4fbd6e grg commited on Nov 10, 2023
Adding textual observations slider, decorative, changes fix for bubble newlines, mask unobserved slider only updates image 077ff6c grg commited on Nov 10, 2023
