Pixel colors not displayed until pointer is moved

[MarkCallow]

When switching miplevels with shift+[up|down] the color swatch and RGBA values in the bottom left corner do not change to the color of the new pixel now under the pointer. It is necessary to move the pointer to get the swatch updated.

[jaytaoko]

Indeed, this is a bug in Pico. When navigating through mip levels or textures, the current position of the mouse pointer should be use to update the RGBA swatch at the same time the texture is changed.